diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-03 20:14:42 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-03 20:14:42 -0400 |
| commit | dbdc83268d75b205198cbad5d60397de28705c65 (patch) | |
| tree | 58c3e56246aa082907b8485611e263203938196d /contrib/run-script-smtcomp2014 | |
| parent | c3e6b4f3b0e495b81a0ea6c0665984fc925f7395 (diff) | |
Fixing run-script for smt-comp
Diffstat (limited to 'contrib/run-script-smtcomp2014')
| -rwxr-xr-x | contrib/run-script-smtcomp2014 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014 index 2b22b9727..3af41545a 100755 --- a/contrib/run-script-smtcomp2014 +++ b/contrib/run-script-smtcomp2014 @@ -26,7 +26,7 @@ function finishwith { case "$logic" in QF_LRA) - finishwith --no-restrict-pivots --enable-miplib-trick --miplib-trick-subs=2 --fc-penalties --collect-pivot-stats --use-soi --new-prop --dio-decomps --unconstrained-simp --fancy-final + finishwith --no-restrict-pivots --enable-miplib-trick --miplib-trick-subs=2 --fc-penalties --collect-pivot-stats --use-soi --new-prop --dio-decomps --unconstrained-simp --use-approx ;; AUFLIA|AUFLIRA|AUFNIRA|UFLRA|UFNIA) # the following is designed for a run time of 1500s. |