Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: stmt21_319_418
Best Solver: qbfrelay Time: 5.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 14.44 dynQBF-bloqqer-hqspre 36.71 qbfrelay-limited-depqbf 79.31
- - caqe_2017_v3 14.53 Qute_opt500 52.95 GhostQ-PG_plain 125.52
- - Qute_default 17.43 Qute_random 53.4 - -
- - AIGSolve 18.74 - - - -
qbfrelay(5.41)
caqe_2017_v2(14.44)
caqe_2017_v3(14.53)
Qute_default(17.43)
AIGSolve(18.74)
dynQBF-bloqqer-hqspre(36.71)
Qute_opt500(52.95)
Qute_random(53.4)
qbfrelay-limited-depqbf(79.31)
GhostQ-PG_plain(125.52)