Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc04-nonuniform-depth-8
Best Solver: AIGSolve Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.05 iProver-qbf-2017-07-27-v3 0.22 dynQBF-bloqqer-hqspre 0.53
- - caqe_2017_v2 0.05 qbfrelay-limited-depqbf 0.24 xb-qsts_bqsts2.0 0.54
- - heretiq 0.05 - - xb-qsts_xbqsts1.0 0.54
- - ijtihad_v1 0.05 - - xb-qsts_xbqsts2.0 0.54
- - prefix-opt-depqbf 0.05 - - iProver-qbf-bloqqer-2017-07-27-v3 0.56
- - qesto 0.05 - - qbfrelay 0.76
- - rareqs 0.05 - - ghostq-cegar 0.83
- - rev_qfun0.1 0.05 - - GhostQ-PG_plain 0.94
- - caqe_2017_v3 0.06 - - GhostQ-PG_cegar 0.95
- - ijtihad_v2 0.06 - - - -
- - QELL_default 0.06 - - - -
- - QELL_unit 0.06 - - - -
- - Qute_default 0.06 - - - -
- - Qute_opt500 0.06 - - - -
- - Qute_random 0.06 - - - -
- - HQSpre_solver 0.08 - - - -
AIGSolve(0.04)
caqe_2017_v1(0.05)
caqe_2017_v2(0.05)
heretiq(0.05)
ijtihad_v1(0.05)
prefix-opt-depqbf(0.05)
qesto(0.05)
rareqs(0.05)
rev_qfun0.1(0.05)
caqe_2017_v3(0.06)
ijtihad_v2(0.06)
QELL_default(0.06)
QELL_unit(0.06)
Qute_default(0.06)
Qute_opt500(0.06)
Qute_random(0.06)
HQSpre_solver(0.08)
iProver-qbf-2017-07-27-v3(0.22)
qbfrelay-limited-depqbf(0.24)
dynQBF-bloqqer-hqspre(0.53)
xb-qsts_bqsts2.0(0.54)
xb-qsts_xbqsts1.0(0.54)
xb-qsts_xbqsts2.0(0.54)
iProver-qbf-bloqqer-2017-07-27-v3(0.56)
qbfrelay(0.76)
ghostq-cegar(0.83)
GhostQ-PG_plain(0.94)
GhostQ-PG_cegar(0.95)