Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-10-18 | Update SMT-COMP script (#7389) | Andres Noetzli | |
PR #6848 disabled relevancy order by default, but for QF_NIA, it helps us solve significantly more benchmarks (17525 vs. 16889 with a 20 minute timeout using the updated SMT-COMP script). This also updates the options for `QF_AUFBV` and `QF_ALIA` to use `--decision=stoponly`, following the name change of the option. | |||
2021-06-16 | Archive SMT-COMP 2021 run scripts (#6748) | Andres Noetzli | |
This commit copies the run-script-smtcomp-current* scripts to run-script-smtcomp2021* to archive them. |