diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-27 11:39:36 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-27 13:39:36 -0500 |
| commit | 97914ba14805c6e6d84e45f33b3eea711a1e01a5 (patch) | |
| tree | 8f5229e0c607f8464ff8e70cd6334ee6b61f5ed9 /contrib | |
| parent | dfcfa602f44b23e017e1cf866c45986db0556c59 (diff) | |
Fix no-cbqi-innermost option name in run script (#1994)
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/run-script-smtcomp2018 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/contrib/run-script-smtcomp2018 b/contrib/run-script-smtcomp2018 index 5264bc26c..9057282e5 100644 --- a/contrib/run-script-smtcomp2018 +++ b/contrib/run-script-smtcomp2018 @@ -85,21 +85,21 @@ UFBV) # most problems in UFBV are essentially BV trywith 300 --full-saturate-quant --decision=internal trywith 300 --full-saturate-quant --cbqi-nested-qe --decision=internal - trywith 30 --full-saturate-quant --cbqi-no-innermost --global-negate + trywith 30 --full-saturate-quant --no-cbqi-innermost --global-negate finishwith --finite-model-find ;; BV) trywith 120 --full-saturate-quant - trywith 120 --full-saturate-quant --cbqi-no-innermost + trywith 120 --full-saturate-quant --no-cbqi-innermost trywith 300 --full-saturate-quant --cbqi-nested-qe --decision=internal trywith 30 --full-saturate-quant --no-cbqi-bv trywith 30 --full-saturate-quant --cbqi-bv-ineq=eq-slack # finish 10min - finishwith --full-saturate-quant --cbqi-no-innermost --global-negate + finishwith --full-saturate-quant --no-cbqi-innermost --global-negate ;; LIA|LRA|NIA|NRA) trywith 30 --full-saturate-quant --nl-ext-tplanes - trywith 300 --full-saturate-quant --cbqi-no-innermost + trywith 300 --full-saturate-quant --no-cbqi-innermost trywith 300 --full-saturate-quant --cbqi-nested-qe finishwith --full-saturate-quant --cbqi-nested-qe --decision=internal ;; |