projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b9b6b9) | patch
Disable check proofs/unsat cores for two regs (#1785)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 16 Apr 2018 23:03:31 +0000 (16:03 -0700)
committerGitHub <noreply@github.com>
Mon, 16 Apr 2018 23:03:31 +0000 (16:03 -0700)
commita66a1915cb12faa18ac806d83b4fc2aae18426aa
tree61f056aa58b86e151121eed6e6ba86db64f56f0ctree
parent7b9b6b9cfbe813812b0de7ba20f2c1d8cc060e63commit | diff
Disable check proofs/unsat cores for two regs (#1785)

Disabling proof checking/unsat core checking for the two benchmarks in
question, reduces the time to run regressions significantly. After the
change, regression level 2 takes 7m30s to run on my machine and
regression level 1 takes just below 3m (16 threads). Individually, the
tests take over 7m each when checking proofs/unsat cores, so they add
significant overhead.
test/regress/regress1/decision/quant-symmetric_unsat_7.smt2.expect diff | blob | history
test/regress/regress1/quantifiers/symmetric_unsat_7.smt2 diff | blob | history