From 8ebd49cb903ba19f9330820d02af08e226c9b791 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sat, 10 May 2014 15:14:34 -0500
Subject: Bug fixes to CBQI.  Add first draft of CASC j7 TFF script.  Add
 regression, minor changes.

---
 contrib/run-script-cascj7-fof | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'contrib/run-script-cascj7-fof')

diff --git a/contrib/run-script-cascj7-fof b/contrib/run-script-cascj7-fof
index bfaaf722f..151413ac2 100755
--- a/contrib/run-script-cascj7-fof
+++ b/contrib/run-script-cascj7-fof
@@ -25,9 +25,9 @@ function trywith {
   if [ ${PIPESTATUS[1]} -eq 0 ]; then exit 0; fi
 }
 
-trywith 30 
-trywith 10 --decision=internal
+trywith 30 --full-saturate-quant
+trywith 10 --decision=internal --full-saturate-quant
 trywith 30 --finite-model-find --fmf-inst-engine --mbqi=gen-ev
 trywith 15 --finite-model-find --decision=justification-stoponly
-trywith $to --quant-cf
+trywith $to --quant-cf --full-saturate-quant
 echo "% SZS status" "GaveUp for $filename"
-- 
cgit v1.2.3