projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 538eea9) | patch
Update SMT-COMP script (#7389)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 18 Oct 2021 14:50:50 +0000 (07:50 -0700)
committerGitHub <noreply@github.com>
Mon, 18 Oct 2021 14:50:50 +0000 (14:50 +0000)
commit0d08cdb26d105880c07191aa3eeb5a8f9fe467da
tree326d2de3b0b3b8d0985e9136e5f7a6c5357cc6c7tree
parent538eea94a5861a6eb300c0cb2da381d217e6e73bcommit | diff
Update SMT-COMP script (#7389)

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.
contrib/competitions/smt-comp/run-script-smtcomp2021 diff | blob | history