From dbdc83268d75b205198cbad5d60397de28705c65 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 3 Jun 2014 20:14:42 -0400 Subject: [PATCH] Fixing run-script for smt-comp --- contrib/run-script-smtcomp2014 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.30.2