Update for QF_AUFLIA strategy

diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014
index a12cd4471bf275849acf7921d66adab25064d955..a6c53c1cdae3ef98df5a480d6e132d1bf6ea1eb2 100755 (executable)
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/run-script-smtcomp2014
@@ -75,7 +75,7 @@ QF_BV)
   trywith 600 --decision=internal --bitblast-eager
   finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1
   ;;
-QF_AX)
+QF_AUFLIA|QF_AX)
   finishwith --no-arrays-eager-index --arrays-eager-lemmas
   ;;
 *)