Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: arbiter-05-comp-error01-qbf-hardness-depth-8
Best Solver: QELL_default Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - prefix-opt-depqbf 0.16 rareqs 0.56 ijtihad_v1 1.12
- - ijtihad_v2 0.28 xb-qsts_bqsts2.0 0.6 GhostQ-PG_plain 1.13
- - qbfrelay-limited-depqbf 0.31 xb-qsts_xbqsts1.0 0.66 heretiq 1.14
- - caqe_2017_v1 0.4 xb-qsts_xbqsts2.0 0.66 ghostq-cegar 1.91
- - caqe_2017_v3 0.4 qesto 0.85 caqe_2017_v2 2.04
- - - - - - rev_qfun0.1 3.75
- - - - - - Qute_random 5.32
- - - - - - Qute_opt500 5.36
- - - - - - Qute_default 5.49
- - - - - - GhostQ-PG_cegar 10.26
QELL_default(0.11)
QELL_unit(0.11)
prefix-opt-depqbf(0.16)
ijtihad_v2(0.28)
qbfrelay-limited-depqbf(0.31)
caqe_2017_v1(0.4)
caqe_2017_v3(0.4)
rareqs(0.56)
xb-qsts_bqsts2.0(0.6)
xb-qsts_xbqsts1.0(0.66)
xb-qsts_xbqsts2.0(0.66)
qesto(0.85)
ijtihad_v1(1.12)
GhostQ-PG_plain(1.13)
heretiq(1.14)
ghostq-cegar(1.91)
caqe_2017_v2(2.04)
rev_qfun0.1(3.75)
Qute_random(5.32)
Qute_opt500(5.36)
Qute_default(5.49)
GhostQ-PG_cegar(10.26)
dynQBF-bloqqer-hqspre(595.54)