diff options
Diffstat (limited to 'contrib/run-script-smtcomp2015-assertions')
| -rwxr-xr-x | contrib/run-script-smtcomp2015-assertions | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/contrib/run-script-smtcomp2015-assertions b/contrib/run-script-smtcomp2015-assertions index 3292e29fb..c4f9fc6cc 100755 --- a/contrib/run-script-smtcomp2015-assertions +++ b/contrib/run-script-smtcomp2015-assertions @@ -74,10 +74,8 @@ ALIA|AUFLIA|AUFLIRA|AUFNIRA|BV|UF|UFBV|UFIDL|UFLIA|UFLRA|UFNIA) LIA|LRA|NIA|NRA) trywith 30 --cbqi --no-cbqi-sat --full-saturate-quant trywith 30 --full-saturate-quant - trywith 30 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant trywith 30 --qcf-tconstraint --full-saturate-quant - trywith 30 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant - finishwith --cbqi --no-cbqi-sat --cbqi-recurse --pre-skolem-quant --full-saturate-quant + finishwith --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant ;; QF_AUFBV) trywith 30 |