Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: b22_PR_8_20
Best Solver: dynQBF-bloqqer-hqspre Time: 23.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay 23.1 iProver-qbf-2017-07-27-v3 144.75 iProver-qbf-bloqqer-2017-07-27-v3 241.03
- - GhostQ-PG_cegar 26.95 - - - -
- - rev_qfun0.1 60.18 - - - -
- - GhostQ-PG_plain 73.58 - - - -
- - ghostq-cegar 78.75 - - - -
- - qbfrelay-limited-depqbf 103.62 - - - -
dynQBF-bloqqer-hqspre(23.01)
qbfrelay(23.1)
GhostQ-PG_cegar(26.95)
rev_qfun0.1(60.18)
GhostQ-PG_plain(73.58)
ghostq-cegar(78.75)
qbfrelay-limited-depqbf(103.62)
iProver-qbf-2017-07-27-v3(144.75)
iProver-qbf-bloqqer-2017-07-27-v3(241.03)