From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 13 Jun 2014 07:38:33 +0000 (-0700)
Subject: Update for QF_AUFLIA strategy
X-Git-Tag: cvc5-1.0.0~6823
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=51398ff82f7f611aaac64a8f2866f34942ffe642;p=cvc5.git

Update for QF_AUFLIA strategy
---

diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014
index a12cd4471..a6c53c1cd 100755
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/run-script-smtcomp2014
@@ -75,7 +75,7 @@ QF_BV)
   trywith 600 --decision=internal --bitblast-eager
   finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1
   ;;
-QF_AX)
+QF_AUFLIA|QF_AX)
   finishwith --no-arrays-eager-index --arrays-eager-lemmas
   ;;
 *)