From 19697d530ae6eaf0165270bc3628f76124a45953 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sun, 9 Feb 2014 16:14:31 -0600
Subject: More complete guess instantiation strategy, cvc4 now typically times
 out instead of answering unknown for benchmarks with quantifiers.  Modified
 regressions accordingly.  Minor fix for QCF regarding variable ordering. 
 Improved relevant domain computation.  Minor optimization for --mbqi=fmc

---
 test/regress/regress0/bug519.smt2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress0/bug519.smt2')

diff --git a/test/regress/regress0/bug519.smt2 b/test/regress/regress0/bug519.smt2
index 22fdff674..406cb0c1b 100644
--- a/test/regress/regress0/bug519.smt2
+++ b/test/regress/regress0/bug519.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: -mi
+; COMMAND-LINE: -mi --tlimit-per 1000
 ; EXPECT: unknown
 ; EXPECT: unsat
 
-- 
cgit v1.2.3