Better configuration for QF_NRA

diff --git a/contrib/run-script-smtcomp2017 b/contrib/run-script-smtcomp2017
index b476203d5359af9e937734170f554d0199133a08..06cd6a6e4e11ad355b9fd12f5cc01f57a7b9850e 100644 (file)
--- a/contrib/run-script-smtcomp2017
+++ b/contrib/run-script-smtcomp2017
@@ -42,6 +42,7 @@ QF_NIA)
   finishwith --solve-int-as-bv=32 --bitblast=eager --bv-sat-solver=cryptominisat
   ;;
 QF_NRA)
+  trywith 300 --nl-ext --nl-ext-tplanes --decision=justification
   finishwith --nl-ext --nl-ext-tplanes
   ;;
 # all logics with UF + quantifiers should either fall under this or special cases below