Changing options for QF_AUFNIA to avoid bug

diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015
index 2dac38935fbb611834a77fec7604d2fd880ae4e7..846459f231c35f0772737ad6fed155b771edbc6e 100755 (executable)
--- a/contrib/run-script-smtcomp2015
+++ b/contrib/run-script-smtcomp2015
@@ -91,6 +91,9 @@ QF_BV)
   #trywith 600 --decision=internal --bitblast-eager
   #finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1
   ;;
+QF_AUFNIA)
+  finishwith --decision=justification --no-arrays-eager-index --arrays-eager-lemmas
+  ;;
 QF_AUFLIA|QF_AX)
   finishwith --no-arrays-eager-index --arrays-eager-lemmas
   ;;