Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-10Xh-correct03-nonuniform-depth-26
Best Solver: qesto Time: 2.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 2.29 QELL_default 14.64 qbfrelay 26.91
- - caqe_2017_v1 2.3 QELL_unit 14.78 iProver-qbf-2017-07-27-v3 55.61
- - heretiq 2.3 prefix-opt-depqbf 17.25 ghostq-cegar 189.56
- - ijtihad_v1 2.3 qbfrelay-limited-depqbf 21.27 - -
- - rareqs 2.3 - - - -
- - ijtihad_v2 2.31 - - - -
- - HQSpre_solver 3.62 - - - -
- - caqe_2017_v2 3.67 - - - -
- - caqe_2017_v3 4.16 - - - -
- - AIGSolve 4.17 - - - -
- - Qute_opt500 4.19 - - - -
- - Qute_random 4.19 - - - -
- - Qute_default 4.95 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 9.63 - - - -
- - dynQBF-bloqqer-hqspre 9.82 - - - -
- - xb-qsts_xbqsts2.0 9.92 - - - -
- - xb-qsts_bqsts2.0 10.01 - - - -
- - xb-qsts_xbqsts1.0 10.76 - - - -
qesto(2.28)
rev_qfun0.1(2.29)
caqe_2017_v1(2.3)
heretiq(2.3)
ijtihad_v1(2.3)
rareqs(2.3)
ijtihad_v2(2.31)
HQSpre_solver(3.62)
caqe_2017_v2(3.67)
caqe_2017_v3(4.16)
AIGSolve(4.17)
Qute_opt500(4.19)
Qute_random(4.19)
Qute_default(4.95)
iProver-qbf-bloqqer-2017-07-27-v3(9.63)
dynQBF-bloqqer-hqspre(9.82)
xb-qsts_xbqsts2.0(9.92)
xb-qsts_bqsts2.0(10.01)
xb-qsts_xbqsts1.0(10.76)
QELL_default(14.64)
QELL_unit(14.78)
prefix-opt-depqbf(17.25)
qbfrelay-limited-depqbf(21.27)
qbfrelay(26.91)
iProver-qbf-2017-07-27-v3(55.61)
ghostq-cegar(189.56)
GhostQ-PG_plain(357.21)
GhostQ-PG_cegar(357.95)