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 /src/theory/strings/term_registry.cpp | |
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 'src/theory/strings/term_registry.cpp')
0 files changed, 0 insertions, 0 deletions