Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-10Xh-correct03-nonuniform-depth-22
Best Solver: qesto Time: 1.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 1.94 QELL_default 11.52 qbfrelay 22.01
- - rev_qfun0.1 1.94 QELL_unit 11.53 iProver-qbf-2017-07-27-v3 46.37
- - ijtihad_v1 1.95 prefix-opt-depqbf 14.77 ghostq-cegar 161.24
- - ijtihad_v2 1.96 qbfrelay-limited-depqbf 18.17 - -
- - caqe_2017_v1 1.97 - - - -
- - heretiq 1.99 - - - -
- - HQSpre_solver 3.13 - - - -
- - caqe_2017_v3 3.15 - - - -
- - caqe_2017_v2 3.22 - - - -
- - AIGSolve 3.47 - - - -
- - Qute_opt500 3.6 - - - -
- - Qute_default 3.64 - - - -
- - Qute_random 3.84 - - - -
- - dynQBF-bloqqer-hqspre 8.32 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 8.33 - - - -
- - xb-qsts_xbqsts1.0 8.54 - - - -
- - xb-qsts_xbqsts2.0 8.64 - - - -
- - xb-qsts_bqsts2.0 8.69 - - - -
qesto(1.94)
rareqs(1.94)
rev_qfun0.1(1.94)
ijtihad_v1(1.95)
ijtihad_v2(1.96)
caqe_2017_v1(1.97)
heretiq(1.99)
HQSpre_solver(3.13)
caqe_2017_v3(3.15)
caqe_2017_v2(3.22)
AIGSolve(3.47)
Qute_opt500(3.6)
Qute_default(3.64)
Qute_random(3.84)
dynQBF-bloqqer-hqspre(8.32)
iProver-qbf-bloqqer-2017-07-27-v3(8.33)
xb-qsts_xbqsts1.0(8.54)
xb-qsts_xbqsts2.0(8.64)
xb-qsts_bqsts2.0(8.69)
QELL_default(11.52)
QELL_unit(11.53)
prefix-opt-depqbf(14.77)
qbfrelay-limited-depqbf(18.17)
qbfrelay(22.01)
iProver-qbf-2017-07-27-v3(46.37)
ghostq-cegar(161.24)
GhostQ-PG_cegar(316.73)
GhostQ-PG_plain(317.78)