assigning benchmark statuses

diff --git a/test/regress/regress1/fuzz_1.smt b/test/regress/regress1/fuzz_1.smt
index 1e6d48ffb2d43d82c47d83e1aa0a25b3dca4f427..22cdd230765ce1c406510e8f47cfc1bf086a8087 100644 (file)
--- a/test/regress/regress1/fuzz_1.smt
+++ b/test/regress/regress1/fuzz_1.smt
@@ -1,6 +1,6 @@
 (benchmark fuzzsmt
 :logic QF_LRA
-:status unknown
+:status unsat
 :extrafuns ((v0 Real))
 :formula
 (let (?e1 11)

diff --git a/test/regress/regress1/fuzz_2.smt b/test/regress/regress1/fuzz_2.smt
index 29d88f340601dd4ce694fa4352d5d9eeea7e6c05..1dc2f619d3b1f9dfd76fed8af124bd606ce14582 100644 (file)
--- a/test/regress/regress1/fuzz_2.smt
+++ b/test/regress/regress1/fuzz_2.smt
@@ -1,6 +1,6 @@
 (benchmark fuzzsmt
 :logic QF_LRA
-:status unknown
+:status sat
 :extrafuns ((v0 Real))
 :extrafuns ((v1 Real))
 :extrafuns ((v2 Real))