Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc05-nonuniform-depth-73
Best Solver: rareqs Time: 1.83 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 2.23 ghostq-cegar 10.22 prefix-opt-depqbf 19.86
- - Qute_default 2.27 caqe_2017_v1 12.1 qbfrelay-limited-depqbf 20.53
- - Qute_opt500 2.28 caqe_2017_v3 12.12 dynQBF-bloqqer-hqspre 26.44
- - Qute_random 2.28 GhostQ-PG_plain 12.51 qbfrelay 26.73
- - heretiq 4.67 GhostQ-PG_cegar 12.85 xb-qsts_bqsts2.0 26.76
- - ijtihad_v1 4.67 - - xb-qsts_xbqsts1.0 29.97
- - ijtihad_v2 4.67 - - xb-qsts_xbqsts2.0 30.12
- - QELL_unit 6.85 - - iProver-qbf-bloqqer-2017-07-27-v3 127.83
- - HQSpre_solver 7.74 - - - -
- - AIGSolve 8.43 - - - -
rareqs(1.83)
caqe_2017_v2(2.23)
Qute_default(2.27)
Qute_opt500(2.28)
Qute_random(2.28)
heretiq(4.67)
ijtihad_v1(4.67)
ijtihad_v2(4.67)
QELL_unit(6.85)
HQSpre_solver(7.74)
AIGSolve(8.43)
ghostq-cegar(10.22)
caqe_2017_v1(12.1)
caqe_2017_v3(12.12)
GhostQ-PG_plain(12.51)
GhostQ-PG_cegar(12.85)
prefix-opt-depqbf(19.86)
qbfrelay-limited-depqbf(20.53)
dynQBF-bloqqer-hqspre(26.44)
qbfrelay(26.73)
xb-qsts_bqsts2.0(26.76)
xb-qsts_xbqsts1.0(29.97)
xb-qsts_xbqsts2.0(30.12)
iProver-qbf-bloqqer-2017-07-27-v3(127.83)
iProver-qbf-2017-07-27-v3(188.6)