Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc02-nonuniform-depth-73
Best Solver: caqe_2017_v1 Time: 1.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.48 qbfrelay-limited-depqbf 7.56 xb-qsts_xbqsts2.0 14.72
- - ijtihad_v1 1.48 ghostq-cegar 13.34 xb-qsts_xbqsts1.0 14.73
- - ijtihad_v2 1.48 GhostQ-PG_plain 13.35 xb-qsts_bqsts2.0 15.4
- - caqe_2017_v3 1.5 dynQBF-bloqqer-hqspre 14.55 qbfrelay 15.77
- - qesto 1.53 GhostQ-PG_cegar 14.68 iProver-qbf-2017-07-27-v3 16.86
- - rareqs 1.53 - - iProver-qbf-bloqqer-2017-07-27-v3 17.29
- - QELL_default 2.81 - - - -
- - QELL_unit 3.18 - - - -
- - Qute_random 5.13 - - - -
- - Qute_default 5.15 - - - -
- - Qute_opt500 5.19 - - - -
- - caqe_2017_v2 5.21 - - - -
- - HQSpre_solver 5.27 - - - -
- - AIGSolve 5.53 - - - -
- - prefix-opt-depqbf 7.21 - - - -
caqe_2017_v1(1.47)
heretiq(1.48)
ijtihad_v1(1.48)
ijtihad_v2(1.48)
caqe_2017_v3(1.5)
qesto(1.53)
rareqs(1.53)
QELL_default(2.81)
QELL_unit(3.18)
Qute_random(5.13)
Qute_default(5.15)
Qute_opt500(5.19)
caqe_2017_v2(5.21)
HQSpre_solver(5.27)
AIGSolve(5.53)
prefix-opt-depqbf(7.21)
qbfrelay-limited-depqbf(7.56)
ghostq-cegar(13.34)
GhostQ-PG_plain(13.35)
dynQBF-bloqqer-hqspre(14.55)
GhostQ-PG_cegar(14.68)
xb-qsts_xbqsts2.0(14.72)
xb-qsts_xbqsts1.0(14.73)
xb-qsts_bqsts2.0(15.4)
qbfrelay(15.77)
iProver-qbf-2017-07-27-v3(16.86)
iProver-qbf-bloqqer-2017-07-27-v3(17.29)