From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 26 May 2016 23:18:59 +0000 (-0400)
Subject: Added cryptominisat flag to QF_NIA
X-Git-Tag: cvc5-1.0.0~6049^2~29
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=979e5be3e1b2dae62b961b1c1fef72aafd3b11c0;p=cvc5.git

Added cryptominisat flag to QF_NIA
---

diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016
index ad036ad05..5c14f7903 100644
--- a/contrib/run-script-smtcomp2016
+++ b/contrib/run-script-smtcomp2016
@@ -35,11 +35,11 @@ QF_LIA)
   ;;
 QF_NIA)
   trywith 20
-  trywith 1800 --solve-int-as-bv=2 --bitblast=eager
-  trywith 1800 --solve-int-as-bv=4 --bitblast=eager
-  trywith 1800 --solve-int-as-bv=8 --bitblast=eager
-  trywith 1800 --solve-int-as-bv=16 --bitblast=eager
-  finishwith --solve-int-as-bv=32 --bitblast=eager
+  trywith 1800 --solve-int-as-bv=2 --bitblast=eager --bv-sat-solver=cryptominisat
+  trywith 1800 --solve-int-as-bv=4 --bitblast=eager --bv-sat-solver=cryptominisat
+  trywith 1800 --solve-int-as-bv=8 --bitblast=eager --bv-sat-solver=cryptominisat
+  trywith 1800 --solve-int-as-bv=16 --bitblast=eager --bv-sat-solver=cryptominisat
+  finishwith --solve-int-as-bv=32 --bitblast=eager --bv-sat-solver=cryptominisat
   ;;
 ALIA|AUFLIA|AUFLIRA|AUFNIRA|UF|UFIDL|UFLIA|UFLRA|UFNIA)
   # the following is designed for a run time of 2400s (40 min).