projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2040c2b) | patch
Updates to SMT COMP script for 20 minute timeout (#4406)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 28 Apr 2020 19:37:51 +0000 (14:37 -0500)
committerGitHub <noreply@github.com>
Tue, 28 Apr 2020 19:37:51 +0000 (14:37 -0500)
commitbeb4b2d81b47879004e09a4f626b9e4e189e8536
treefb7f9bc55069823f20c91e3e64f8ccc65096d16dtree
parent2040c2b355cf7e916ffd8b29e74ced8a8425689dcommit | diff
Updates to SMT COMP script for 20 minute timeout (#4406)

Changes run script to be consistent for 20 minute timeout. This divides most of the previous time allocation by 2, with a few exceptions (for non-linear).

It adds a configuration involving --no-arith-brab to QF_NIA and reallocates some time.
contrib/competitions/smt-comp/run-script-smtcomp-current diff | blob | history