Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-10Xh-correct03-uniform-depth-14
Best Solver: qesto Time: 1.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 1.3 prefix-opt-depqbf 9.08 qbfrelay 14.9
- - caqe_2017_v1 1.31 qbfrelay-limited-depqbf 11.36 iProver-qbf-2017-07-27-v3 28.29
- - heretiq 1.31 - - ghostq-cegar 104.75
- - ijtihad_v2 1.31 - - - -
- - ijtihad_v1 1.32 - - - -
- - QELL_unit 2.14 - - - -
- - QELL_default 2.17 - - - -
- - caqe_2017_v2 2.24 - - - -
- - HQSpre_solver 2.24 - - - -
- - AIGSolve 2.28 - - - -
- - Qute_random 2.51 - - - -
- - Qute_default 2.52 - - - -
- - Qute_opt500 2.54 - - - -
- - caqe_2017_v3 2.98 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 5.6 - - - -
- - xb-qsts_bqsts2.0 5.65 - - - -
- - xb-qsts_xbqsts1.0 5.73 - - - -
- - dynQBF-bloqqer-hqspre 5.75 - - - -
- - xb-qsts_xbqsts2.0 5.98 - - - -
qesto(1.29)
rev_qfun0.1(1.29)
rareqs(1.3)
caqe_2017_v1(1.31)
heretiq(1.31)
ijtihad_v2(1.31)
ijtihad_v1(1.32)
QELL_unit(2.14)
QELL_default(2.17)
caqe_2017_v2(2.24)
HQSpre_solver(2.24)
AIGSolve(2.28)
Qute_random(2.51)
Qute_default(2.52)
Qute_opt500(2.54)
caqe_2017_v3(2.98)
iProver-qbf-bloqqer-2017-07-27-v3(5.6)
xb-qsts_bqsts2.0(5.65)
xb-qsts_xbqsts1.0(5.73)
dynQBF-bloqqer-hqspre(5.75)
xb-qsts_xbqsts2.0(5.98)
prefix-opt-depqbf(9.08)
qbfrelay-limited-depqbf(11.36)
qbfrelay(14.9)
iProver-qbf-2017-07-27-v3(28.29)
ghostq-cegar(104.75)
GhostQ-PG_plain(393.09)
GhostQ-PG_cegar(398.16)