Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc04-nonuniform-depth-27
Best Solver: prefix-opt-depqbf Time: 0.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 0.39 caqe_2017_v1 1.28 ghostq-cegar 3.33
- - QELL_default 0.4 caqe_2017_v3 1.3 GhostQ-PG_plain 3.68
- - Qute_default 0.41 - - GhostQ-PG_cegar 3.76
- - Qute_opt500 0.41 - - rev_qfun0.1 4.2
- - Qute_random 0.41 - - xb-qsts_xbqsts2.0 5.7
- - QELL_unit 0.42 - - dynQBF-bloqqer-hqspre 5.75
- - qbfrelay-limited-depqbf 0.51 - - xb-qsts_bqsts2.0 5.75
- - heretiq 0.59 - - xb-qsts_xbqsts1.0 5.88
- - ijtihad_v1 0.59 - - qbfrelay 6.21
- - ijtihad_v2 0.59 - - iProver-qbf-bloqqer-2017-07-27-v3 6.83
- - rareqs 0.59 - - iProver-qbf-2017-07-27-v3 18.28
- - AIGSolve 0.93 - - - -
- - HQSpre_solver 1.11 - - - -
prefix-opt-depqbf(0.25)
caqe_2017_v2(0.39)
QELL_default(0.4)
Qute_default(0.41)
Qute_opt500(0.41)
Qute_random(0.41)
QELL_unit(0.42)
qbfrelay-limited-depqbf(0.51)
heretiq(0.59)
ijtihad_v1(0.59)
ijtihad_v2(0.59)
rareqs(0.59)
AIGSolve(0.93)
HQSpre_solver(1.11)
caqe_2017_v1(1.28)
caqe_2017_v3(1.3)
ghostq-cegar(3.33)
GhostQ-PG_plain(3.68)
GhostQ-PG_cegar(3.76)
rev_qfun0.1(4.2)
xb-qsts_xbqsts2.0(5.7)
dynQBF-bloqqer-hqspre(5.75)
xb-qsts_bqsts2.0(5.75)
xb-qsts_xbqsts1.0(5.88)
qbfrelay(6.21)
iProver-qbf-bloqqer-2017-07-27-v3(6.83)
iProver-qbf-2017-07-27-v3(18.28)
qesto(76.99)