mark the new minimized benchmark as unsat

diff --git a/test/regress/regress0/arrays/incorrect8.minimized.smt b/test/regress/regress0/arrays/incorrect8.minimized.smt
index 18067e654f6f7d3b46074689eb96ea2711315ed1..d08b71e93e9a4937dd8efd214eb98295e97b338b 100644 (file)
--- a/test/regress/regress0/arrays/incorrect8.minimized.smt
+++ b/test/regress/regress0/arrays/incorrect8.minimized.smt
@@ -4,7 +4,7 @@
 :extrafuns ((v3 Index))
 :extrafuns ((v5 Element))
 :extrafuns ((v1 Array))
-:status unknown
+:status unsat
 :formula
 (let (?n1 (store v1 v4 v5))
 (let (?n2 (select ?n1 v3))