Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: stmt19_64_87
Best Solver: CADET_2017 Time: 3.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 5.95 - - rev_qfun0.1 44.31
- - iProver-qbf-bloqqer-2017-07-27-v3 5.98 - - ghostq-cegar 94.61
- - dynQBF-bloqqer-hqspre 6.02 - - GhostQ-PG_cegar 107.73
- - xb-qsts_xbqsts2.0 6.04 - - - -
- - DynQBF-bloqqer-variant 6.06 - - - -
- - xb-qsts_bqsts2.0 6.21 - - - -
- - qbfrelay 6.39 - - - -
- - DynQBF-bloqqer-hqspre-it 6.43 - - - -
CADET_2017(3.35)
xb-qsts_xbqsts1.0(5.95)
iProver-qbf-bloqqer-2017-07-27-v3(5.98)
dynQBF-bloqqer-hqspre(6.02)
xb-qsts_xbqsts2.0(6.04)
DynQBF-bloqqer-variant(6.06)
xb-qsts_bqsts2.0(6.21)
qbfrelay(6.39)
DynQBF-bloqqer-hqspre-it(6.43)
rev_qfun0.1(44.31)
ghostq-cegar(94.61)
GhostQ-PG_cegar(107.73)