diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
index 22a52076..138138bd 100644
--- a/tests/benchpress.sexp
+++ b/tests/benchpress.sexp
@@ -60,13 +60,5 @@
       (timeout 10)
       (dirs ()))))
 
-(task
-  (name sidekick-smt-all)
-  (action
-    (run_provers
-      (provers (sidekick-dev z3))
-      (timeout 10)
-      (dirs ($HOME/workspace/smtlib)))))
-
 (set-options (progress true))