projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52a910f) | patch
[SMT-COMP] Increase sequential portfolio times (#3038)
authorAndres Noetzli <noetzli@stanford.edu>
Mon, 3 Jun 2019 05:04:41 +0000 (22:04 -0700)
committerGitHub <noreply@github.com>
Mon, 3 Jun 2019 05:04:41 +0000 (22:04 -0700)
commit6850c7d04a74e7cb2fb26db4b85af76edce3f616
tree2c52dace4ea3196fe364135dd6fc322cfe332aa6tree
parent52a910f728f399e782b3ac036e4476f1fb3c27facommit | diff
[SMT-COMP] Increase sequential portfolio times (#3038)

This year's timeout is 40min up from 20min last year. This commit scales
the timeouts accordingly.
contrib/run-script-smtcomp2019 diff | blob | history