diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-04 20:32:46 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-04 20:32:46 +0200 |
| commit | 4c5687c51a0635fe6e7d4ba332b708ba0d9a1dfc (patch) | |
| tree | bae3d9bc038671e453da3564a8cb19866bd30da3 /contrib/run-script-smtcomp2015 | |
| parent | 1a73025140a4f5dfc390d5ca462ce358b6f97f1b (diff) | |
Fix for last commit.
Diffstat (limited to 'contrib/run-script-smtcomp2015')
| -rwxr-xr-x | contrib/run-script-smtcomp2015 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015 index 3602eb576..c46671c08 100755 --- a/contrib/run-script-smtcomp2015 +++ b/contrib/run-script-smtcomp2015 @@ -69,10 +69,10 @@ ALIA|AUFLIA|AUFLIRA|AUFNIRA|BV|UF|UFBV|UFIDL|UFLIA|UFLRA|UFNIA) LIA|LRA|NIA|NRA) trywith 60 --cbqi --no-cbqi-sat --full-saturate-quant trywith 60 --full-saturate-quant - trywith 60 --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --full-saturate-quant + trywith 60 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant trywith 180 --qcf-tconstraint --full-saturate-quant - trywith 240 --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --full-saturate-quant - finishwith --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --pre-skolem-quant --full-saturate-quant + trywith 240 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant + finishwith --cbqi --no-cbqi-sat --cbqi-recurse --pre-skolem-quant --full-saturate-quant ;; QF_AUFBV) trywith 600 |