Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: stmt17_63_70
Best Solver: CADET_2017 Time: 2.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - DynQBF-bloqqer-hqspre-it 4.11 - - rev_qfun0.1 37.08
- - iProver-qbf-bloqqer-2017-07-27-v3 4.14 - - ghostq-cegar 56.3
- - dynQBF-bloqqer-hqspre 4.15 - - GhostQ-PG_cegar 59.15
- - DynQBF-bloqqer-variant 4.15 - - qbfrelay-limited-depqbf 79.07
- - xb-qsts_xbqsts1.0 4.15 - - - -
- - xb-qsts_bqsts2.0 4.21 - - - -
- - xb-qsts_xbqsts2.0 4.27 - - - -
- - qbfrelay 4.4 - - - -
CADET_2017(2.47)
DynQBF-bloqqer-hqspre-it(4.11)
iProver-qbf-bloqqer-2017-07-27-v3(4.14)
dynQBF-bloqqer-hqspre(4.15)
DynQBF-bloqqer-variant(4.15)
xb-qsts_xbqsts1.0(4.15)
xb-qsts_bqsts2.0(4.21)
xb-qsts_xbqsts2.0(4.27)
qbfrelay(4.4)
rev_qfun0.1(37.08)
ghostq-cegar(56.3)
GhostQ-PG_cegar(59.15)
qbfrelay-limited-depqbf(79.07)