diff options
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 |