Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-10Xh-correct04-nonuniform-depth-13
Best Solver: qesto Time: 1.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 1.21 prefix-opt-depqbf 9.09 qbfrelay 13.36
- - rev_qfun0.1 1.21 qbfrelay-limited-depqbf 11.74 iProver-qbf-2017-07-27-v3 25.53
- - caqe_2017_v1 1.22 - - ghostq-cegar 94.39
- - heretiq 1.22 - - - -
- - ijtihad_v1 1.23 - - - -
- - ijtihad_v2 1.24 - - - -
- - caqe_2017_v3 1.95 - - - -
- - HQSpre_solver 1.99 - - - -
- - caqe_2017_v2 2.11 - - - -
- - AIGSolve 2.14 - - - -
- - Qute_default 2.27 - - - -
- - Qute_opt500 2.27 - - - -
- - Qute_random 2.27 - - - -
- - QELL_unit 5.02 - - - -
- - QELL_default 5.04 - - - -
- - xb-qsts_bqsts2.0 5.3 - - - -
- - xb-qsts_xbqsts1.0 5.3 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 5.32 - - - -
- - xb-qsts_xbqsts2.0 5.35 - - - -
- - dynQBF-bloqqer-hqspre 5.45 - - - -
qesto(1.21)
rareqs(1.21)
rev_qfun0.1(1.21)
caqe_2017_v1(1.22)
heretiq(1.22)
ijtihad_v1(1.23)
ijtihad_v2(1.24)
caqe_2017_v3(1.95)
HQSpre_solver(1.99)
caqe_2017_v2(2.11)
AIGSolve(2.14)
Qute_default(2.27)
Qute_opt500(2.27)
Qute_random(2.27)
QELL_unit(5.02)
QELL_default(5.04)
xb-qsts_bqsts2.0(5.3)
xb-qsts_xbqsts1.0(5.3)
iProver-qbf-bloqqer-2017-07-27-v3(5.32)
xb-qsts_xbqsts2.0(5.35)
dynQBF-bloqqer-hqspre(5.45)
prefix-opt-depqbf(9.09)
qbfrelay-limited-depqbf(11.74)
qbfrelay(13.36)
iProver-qbf-2017-07-27-v3(25.53)
ghostq-cegar(94.39)
GhostQ-PG_cegar(196.9)
GhostQ-PG_plain(198.4)