projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c982a7) | patch
Update options for SMT-COMP (#6704)
authorAndres Noetzli <noetzli@stanford.edu>
Wed, 9 Jun 2021 16:40:10 +0000 (09:40 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Jun 2021 16:40:10 +0000 (11:40 -0500)
commite9d650f668bf044b2baad5328d80e64522454c50
treeac521e6067bb0de85c683918e18d1dcb0dce1acetree
parent0c982a7486ef9b6991589685f9091602e0cf5572commit | diff
Update options for SMT-COMP (#6704)

This commit removes obsolete options for BV and strings logics, and
updates QF_NIA to spend more time on our best configuration.

Co-authored-by: Gereon Kremer nafur42@gmail.com
Co-authored-by: Mathias Preiner mathias.preiner@gmail.com
contrib/competitions/smt-comp/run-script-smtcomp-current diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-incremental diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-model-validation diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores diff | blob | history