diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-05-14 16:42:23 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-05-14 16:42:36 -0500 |
| commit | b48a369333f077fa7cce117976f760cd6332691a (patch) | |
| tree | acd6e9e9068deca14b8380b50bf7bbc5464fa105 /contrib/run-script-casc24-fnt | |
| parent | 99d5e608b1e1a7541406e86d16b8e3bf6e7e8f0a (diff) | |
Update casc24-fnt run script. Add casc24-fof run script.
Diffstat (limited to 'contrib/run-script-casc24-fnt')
| -rwxr-xr-x | contrib/run-script-casc24-fnt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/contrib/run-script-casc24-fnt b/contrib/run-script-casc24-fnt index c53ac4be9..5376bfd72 100755 --- a/contrib/run-script-casc24-fnt +++ b/contrib/run-script-casc24-fnt @@ -2,6 +2,7 @@ cvc4=./cvc4 bench="$1" +let "to = $2 - 60" file=${bench##*/} filename=${file%.*} @@ -29,7 +30,7 @@ function finishwith { esac } -trywith 15 --finite-model-find --uf-ss-totality -trywith 15 --finite-model-find --decision=justification --fmf-fmc -finishwith --finite-model-find --decision=justification +trywith 30 --finite-model-find --uf-ss-totality +trywith 30 --finite-model-find --decision=justification --fmf-fmc +trywith $to --finite-model-find --decision=justification echo "SZS GaveUp for $filename"
\ No newline at end of file |