Modified run script for QF_AX

diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014
index 454763cac0547c7108391bdb9654a2ff6a0fcf5c..a12cd4471bf275849acf7921d66adab25064d955 100755 (executable)
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/run-script-smtcomp2014
@@ -76,8 +76,7 @@ QF_BV)
   finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1
   ;;
 QF_AX)
-  trywith 2
-  finishwith --no-arrays-model-based
+  finishwith --no-arrays-eager-index --arrays-eager-lemmas
   ;;
 *)
   # just run the default