Updated run script for QF_ABV

diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014
index 55f274234f9b1b91752228ae5f047fb6c38aaf66..31ee4cf4d821b856aee2a2ff3aab9ac1f8520645 100755 (executable)
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/run-script-smtcomp2014
@@ -69,6 +69,9 @@ QF_AUFBV)
   trywith 600
   finishwith --decision=justification-stoponly
   ;;
+QF_ABV)
+  finishwith --ite-simp --simp-with-care --repeat-simp
+  ;;
 QF_BV)
   exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive \
          --threads 2 \