diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
index 304aefcb..22a52076 100644
--- a/tests/benchpress.sexp
+++ b/tests/benchpress.sexp
@@ -2,9 +2,9 @@
 (prover
   (name sidekick-dev)
   (cmd "$cur_dir/../sidekick --no-check --time $timeout $file")
-  (unsat "Unsat")
-  (sat "Sat")
-  (unknown "Timeout|Unknown")
+  (unsat "^unsat")
+  (sat "^sat")
+  (unknown "^(timeout|unknown)")
   (version "git:."))
 
 (proof_checker