diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
index 42c06d62..70e7f9fa 100644
--- a/tests/benchpress.sexp
+++ b/tests/benchpress.sexp
@@ -10,7 +10,7 @@
 (dir
   (path $cur_dir)
   (pattern ".*.(smt2|cnf)$")
-  (expect (try (run smtlib-read-status) (run z3))))
+  (expect (try (run smtlib-read-status) (run z3) (const unknown))))
 
 (task
   (name sidekick-smt-quick)