Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: itc-b13-fixpoint-9
Best Solver: CADET_2017 Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 1.26 ASPQ2 1.31 GhostQ-PG_plain 5.72
- - heretiq 1.27 - - DynQBF-bloqqer-hqspre-it 6.87
- - ijtihad_v2 1.27 - - xb-qsts_bqsts2.0 6.87
- - ijtihad_v1 1.28 - - iProver-qbf-bloqqer-2017-07-27-v3 6.9
- - qesto 1.28 - - xb-qsts_xbqsts1.0 6.92
- - rareqs 1.29 - - dynQBF-bloqqer-hqspre 6.94
- - rev_qfun0.1 1.29 - - DynQBF-bloqqer-variant 6.94
- - - - - - xb-qsts_xbqsts2.0 6.94
- - - - - - caqe_2017_v3 7.37
- - - - - - qbfrelay 7.39
- - - - - - caqe_2017_v2 7.49
- - - - - - GhostQ-PG_cegar 12.5
CADET_2017(0.26)
caqe_2017_v1(1.26)
heretiq(1.27)
ijtihad_v2(1.27)
ijtihad_v1(1.28)
qesto(1.28)
rareqs(1.29)
rev_qfun0.1(1.29)
ASPQ2(1.31)
GhostQ-PG_plain(5.72)
DynQBF-bloqqer-hqspre-it(6.87)
xb-qsts_bqsts2.0(6.87)
iProver-qbf-bloqqer-2017-07-27-v3(6.9)
xb-qsts_xbqsts1.0(6.92)
dynQBF-bloqqer-hqspre(6.94)
DynQBF-bloqqer-variant(6.94)
xb-qsts_xbqsts2.0(6.94)
caqe_2017_v3(7.37)
qbfrelay(7.39)
caqe_2017_v2(7.49)
GhostQ-PG_cegar(12.5)
qbfrelay-limited-depqbf(81.55)