Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: itc-b13-fixpoint-10
Best Solver: CADET_2017 Time: 0.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - GhostQ-PG_plain 6.88
- - - - - - GhostQ-PG_cegar 7.03
- - - - - - xb-qsts_xbqsts1.0 8.88
- - - - - - xb-qsts_bqsts2.0 8.91
- - - - - - DynQBF-bloqqer-variant 8.95
- - - - - - dynQBF-bloqqer-hqspre 8.96
- - - - - - xb-qsts_xbqsts2.0 8.98
- - - - - - DynQBF-bloqqer-hqspre-it 9.03
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 9.08
- - - - - - qbfrelay 9.34
- - - - - - caqe_2017_v2 9.51
- - - - - - caqe_2017_v3 9.51
CADET_2017(0.29)
GhostQ-PG_plain(6.88)
GhostQ-PG_cegar(7.03)
xb-qsts_xbqsts1.0(8.88)
xb-qsts_bqsts2.0(8.91)
DynQBF-bloqqer-variant(8.95)
dynQBF-bloqqer-hqspre(8.96)
xb-qsts_xbqsts2.0(8.98)
DynQBF-bloqqer-hqspre-it(9.03)
iProver-qbf-bloqqer-2017-07-27-v3(9.08)
qbfrelay(9.34)
caqe_2017_v2(9.51)
caqe_2017_v3(9.51)
rareqs(34.88)
caqe_2017_v1(61.76)
qbfrelay-limited-depqbf(83.58)
qesto(92.09)