Added cryptominisat flag to QF_NIA

diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016
index ad036ad0559f7c1e66548a1f309c75c831548887..5c14f79033854275c0d6f15d629f5943c905ee01 100644 (file)
--- 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).