diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
new file mode 100644
index 00000000..0b48e773
--- /dev/null
+++ b/tests/benchpress.sexp
@@ -0,0 +1,13 @@
+
+(prover
+  (name msat)
+  (synopsis "msat for pure sat problems")
+  (version "git:.")
+  (sat "^Sat")
+  (unsat "^Unsat")
+  (cmd "$cur_dir/../msat.exe -time $timeout $file"))
+
+(dir
+  (path $cur_dir)
+  (pattern ".*\\.cnf")
+  (expect (const unknown)))