Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc03-nonuniform-depth-67
Best Solver: prefix-opt-depqbf Time: 0.69 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 0.92 HQSpre_solver 5 ghostq-cegar 7.63
- - rareqs 1.07 - - AIGSolve 8.64
- - ijtihad_v2 1.25 - - GhostQ-PG_plain 9.48
- - heretiq 1.26 - - GhostQ-PG_cegar 9.62
- - ijtihad_v1 1.26 - - rev_qfun0.1 12.72
- - QELL_default 1.63 - - xb-qsts_bqsts2.0 17.84
- - QELL_unit 1.69 - - iProver-qbf-bloqqer-2017-07-27-v3 18.26
- - caqe_2017_v2 2.5 - - xb-qsts_xbqsts1.0 19.03
- - Qute_default 2.55 - - xb-qsts_xbqsts2.0 19.1
- - Qute_opt500 2.56 - - qbfrelay 20.73
- - Qute_random 2.57 - - dynQBF-bloqqer-hqspre 22.17
- - caqe_2017_v1 2.94 - - qesto 35.08
- - caqe_2017_v3 3 - - - -
prefix-opt-depqbf(0.69)
qbfrelay-limited-depqbf(0.92)
rareqs(1.07)
ijtihad_v2(1.25)
heretiq(1.26)
ijtihad_v1(1.26)
QELL_default(1.63)
QELL_unit(1.69)
caqe_2017_v2(2.5)
Qute_default(2.55)
Qute_opt500(2.56)
Qute_random(2.57)
caqe_2017_v1(2.94)
caqe_2017_v3(3)
HQSpre_solver(5)
ghostq-cegar(7.63)
AIGSolve(8.64)
GhostQ-PG_plain(9.48)
GhostQ-PG_cegar(9.62)
rev_qfun0.1(12.72)
xb-qsts_bqsts2.0(17.84)
iProver-qbf-bloqqer-2017-07-27-v3(18.26)
xb-qsts_xbqsts1.0(19.03)
xb-qsts_xbqsts2.0(19.1)
qbfrelay(20.73)
dynQBF-bloqqer-hqspre(22.17)
qesto(35.08)
iProver-qbf-2017-07-27-v3(129.1)