Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: rankfunc57_unsigned_64
Best Solver: CADET_2017 Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rareqs 0.66 xb-qsts_bqsts2.0 1.72
- - - - caqe_2017_v1 0.67 caqe_2017_v2 1.73
- - - - qesto 0.73 caqe_2017_v3 1.74
- - - - heretiq 0.85 dynQBF-bloqqer-hqspre 1.75
- - - - ijtihad_v1 0.85 DynQBF-bloqqer-hqspre-it 1.79
- - - - ijtihad_v2 0.86 qbfrelay 2.12
- - - - ASPQ2 0.9 GhostQ-PG_cegar 2.13
- - - - - - GhostQ-PG_plain 3.09
- - - - - - xb-qsts_xbqsts1.0 3.17
- - - - - - xb-qsts_xbqsts2.0 3.31
CADET_2017(0.1)
rareqs(0.66)
caqe_2017_v1(0.67)
qesto(0.73)
heretiq(0.85)
ijtihad_v1(0.85)
ijtihad_v2(0.86)
ASPQ2(0.9)
xb-qsts_bqsts2.0(1.72)
caqe_2017_v2(1.73)
caqe_2017_v3(1.74)
dynQBF-bloqqer-hqspre(1.75)
DynQBF-bloqqer-hqspre-it(1.79)
qbfrelay(2.12)
GhostQ-PG_cegar(2.13)
GhostQ-PG_plain(3.09)
xb-qsts_xbqsts1.0(3.17)
xb-qsts_xbqsts2.0(3.31)
qbfrelay-limited-depqbf(75.11)
iProver-qbf-bloqqer-2017-07-27-v3(84.79)