diff options
author | lianah <lianahady@gmail.com> | 2014-06-10 13:48:45 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-10 13:48:45 -0400 |
commit | 5f072a19d299191dbedc4b69c8e0eda694cfa957 (patch) | |
tree | 0ebfc27bd05d06b0cdb2fc0813b7d5649d36aee4 /contrib/run-script-smtcomp2014 | |
parent | db51926b5ce806754fc26c81b1b7d3e739fc4fc5 (diff) |
Merging CAV14 paper bit-vector work.
Diffstat (limited to 'contrib/run-script-smtcomp2014')
-rwxr-xr-x | contrib/run-script-smtcomp2014 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014 index e723df9c7..af41aab8b 100755 --- a/contrib/run-script-smtcomp2014 +++ b/contrib/run-script-smtcomp2014 @@ -66,7 +66,7 @@ QF_AUFBV) finishwith --decision=justification-stoponly ;; QF_BV) - trywith 10 --bv-core --decision=justification + trywith 10 --bv-eq-slicer=auto --decision=justification trywith 60 --decision=justification trywith 600 --decision=internal --bitblast-eager finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1 |