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). |