Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-10Xh-correct02-uniform-depth-13
Best Solver: rev_qfun0.1 Time: 1.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.22 prefix-opt-depqbf 8.5 qbfrelay 13.65
- - qesto 1.22 qbfrelay-limited-depqbf 10.43 iProver-qbf-2017-07-27-v3 25.65
- - rareqs 1.22 - - ghostq-cegar 98.9
- - caqe_2017_v1 1.23 - - - -
- - ijtihad_v1 1.23 - - - -
- - ijtihad_v2 1.23 - - - -
- - QELL_default 2.01 - - - -
- - QELL_unit 2.02 - - - -
- - HQSpre_solver 2.1 - - - -
- - caqe_2017_v2 2.13 - - - -
- - AIGSolve 2.14 - - - -
- - Qute_default 2.36 - - - -
- - Qute_opt500 2.39 - - - -
- - Qute_random 2.4 - - - -
- - caqe_2017_v3 2.85 - - - -
- - dynQBF-bloqqer-hqspre 5.31 - - - -
- - xb-qsts_xbqsts2.0 5.33 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 5.35 - - - -
- - xb-qsts_xbqsts1.0 5.68 - - - -
- - xb-qsts_bqsts2.0 5.72 - - - -
rev_qfun0.1(1.21)
heretiq(1.22)
qesto(1.22)
rareqs(1.22)
caqe_2017_v1(1.23)
ijtihad_v1(1.23)
ijtihad_v2(1.23)
QELL_default(2.01)
QELL_unit(2.02)
HQSpre_solver(2.1)
caqe_2017_v2(2.13)
AIGSolve(2.14)
Qute_default(2.36)
Qute_opt500(2.39)
Qute_random(2.4)
caqe_2017_v3(2.85)
dynQBF-bloqqer-hqspre(5.31)
xb-qsts_xbqsts2.0(5.33)
iProver-qbf-bloqqer-2017-07-27-v3(5.35)
xb-qsts_xbqsts1.0(5.68)
xb-qsts_bqsts2.0(5.72)
prefix-opt-depqbf(8.5)
qbfrelay-limited-depqbf(10.43)
qbfrelay(13.65)
iProver-qbf-2017-07-27-v3(25.65)
ghostq-cegar(98.9)
GhostQ-PG_plain(358.66)
GhostQ-PG_cegar(359.45)