diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-06-21 10:24:11 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-06-21 10:24:39 -0500 |
| commit | cdf019f8be3b4affdb582ceb95054b327006521c (patch) | |
| tree | 48f7091d06d1eea5abe9f4773b26a18a0bf7c8fa /contrib/run-script-casc26-fof | |
| parent | 89e41ba0f27c6f2c8aceb1884df7392a6ef577c7 (diff) | |
Update casc and sygus comp scripts.
Diffstat (limited to 'contrib/run-script-casc26-fof')
| -rw-r--r-- | contrib/run-script-casc26-fof | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/contrib/run-script-casc26-fof b/contrib/run-script-casc26-fof index 77553a5ae..376d18b15 100644 --- a/contrib/run-script-casc26-fof +++ b/contrib/run-script-casc26-fof @@ -9,7 +9,7 @@ bench="$1" file=${bench##*/} filename=${file%.*} -echo "------- cvc4-fof casc j8 : $bench at $2..." +echo "------- cvc4-fof casc 26 : $bench at $2..." # use: trywith [params..] # to attempt a run. If an SZS ontology result is printed, then @@ -39,12 +39,11 @@ trywith 5 --multi-trigger-when-single --full-saturate-quant trywith 5 --trigger-sel=max --full-saturate-quant trywith 5 --multi-trigger-when-single --multi-trigger-priority --full-saturate-quant trywith 10 --multi-trigger-cache --full-saturate-quant -trywith 5 --no-multi-trigger-linear --full-saturate-quant -trywith 15 --finite-model-find --no-quant-cf --sort-inference --uf-ss-fair trywith 15 --prenex-quant=none --full-saturate-quant trywith 15 --fs-inst --decision=internal --full-saturate-quant trywith 15 --relevant-triggers --full-saturate-quant trywith 15 --finite-model-find --fmf-inst-engine --sort-inference --uf-ss-fair +trywith 30 --full-saturate-quant --macros-quant trywith 30 --fs-inst --full-saturate-quant trywith 30 --no-quant-cf --full-saturate-quant finishwith --qcf-vo-exp --full-saturate-quant |