From e9dae47d0b4ef243241f1727362762bf3a561eff Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 14 Aug 2022 23:21:40 -0400
Subject: [PATCH] fixup: modify benchpress for new output

---
 tests/benchpress.sexp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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