diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2016-05-26 19:18:59 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2016-05-26 19:18:59 -0400 |
commit | 979e5be3e1b2dae62b961b1c1fef72aafd3b11c0 (patch) | |
tree | 1fdca70c9704751b1b648ee6d6728944684e7246 /contrib | |
parent | 44dfd74baea6b23a1a7538fa8f376e9ffafd5f15 (diff) |
Added cryptominisat flag to QF_NIA
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/run-script-smtcomp2016 | 10 |
1 files changed, 5 insertions, 5 deletions
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). |