Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc01-nonuniform-depth-63
Best Solver: caqe_2017_v2 Time: 0.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 0.52 iProver-qbf-2017-07-27-v3 2.39 ghostq-cegar 7.55
- - Qute_opt500 0.52 - - rev_qfun0.1 8.96
- - Qute_random 0.52 - - dynQBF-bloqqer-hqspre 9.65
- - rareqs 0.63 - - iProver-qbf-bloqqer-2017-07-27-v3 9.73
- - prefix-opt-depqbf 0.66 - - qbfrelay 10.1
- - heretiq 0.83 - - xb-qsts_bqsts2.0 10.19
- - ijtihad_v1 0.83 - - xb-qsts_xbqsts1.0 10.87
- - ijtihad_v2 0.83 - - xb-qsts_xbqsts2.0 10.96
- - AIGSolve 0.85 - - GhostQ-PG_cegar 18.62
- - qbfrelay-limited-depqbf 0.91 - - GhostQ-PG_plain 18.78
- - QELL_default 1.15 - - qesto 26.9
- - QELL_unit 1.15 - - - -
- - HQSpre_solver 1.2 - - - -
- - caqe_2017_v1 1.56 - - - -
- - caqe_2017_v3 1.61 - - - -
caqe_2017_v2(0.47)
Qute_default(0.52)
Qute_opt500(0.52)
Qute_random(0.52)
rareqs(0.63)
prefix-opt-depqbf(0.66)
heretiq(0.83)
ijtihad_v1(0.83)
ijtihad_v2(0.83)
AIGSolve(0.85)
qbfrelay-limited-depqbf(0.91)
QELL_default(1.15)
QELL_unit(1.15)
HQSpre_solver(1.2)
caqe_2017_v1(1.56)
caqe_2017_v3(1.61)
iProver-qbf-2017-07-27-v3(2.39)
ghostq-cegar(7.55)
rev_qfun0.1(8.96)
dynQBF-bloqqer-hqspre(9.65)
iProver-qbf-bloqqer-2017-07-27-v3(9.73)
qbfrelay(10.1)
xb-qsts_bqsts2.0(10.19)
xb-qsts_xbqsts1.0(10.87)
xb-qsts_xbqsts2.0(10.96)
GhostQ-PG_cegar(18.62)
GhostQ-PG_plain(18.78)
qesto(26.9)