diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-28 14:37:51 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-28 14:37:51 -0500 |
| commit | beb4b2d81b47879004e09a4f626b9e4e189e8536 (patch) | |
| tree | fb7f9bc55069823f20c91e3e64f8ccc65096d16d /contrib/dimacs_to_smt.pl | |
| parent | 2040c2b355cf7e916ffd8b29e74ced8a8425689d (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.
Diffstat (limited to 'contrib/dimacs_to_smt.pl')
0 files changed, 0 insertions, 0 deletions