Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: sdlx-fixpoint-3
Best Solver: QELL_default Time: 0.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 0.37 - - Qute_random 7.02
- - GhostQ-PG_plain 1.5 - - Qute_opt500 7.04
- - GhostQ-PG_cegar 1.55 - - Qute_default 7.09
QELL_default(0.37)
QELL_unit(0.37)
GhostQ-PG_plain(1.5)
GhostQ-PG_cegar(1.55)
Qute_random(7.02)
Qute_opt500(7.04)
Qute_default(7.09)
AIGSolve(37.68)
qbfrelay-limited-depqbf(77.86)
HQSpre_solver(136.54)
dynQBF-bloqqer-hqspre(186.51)
qbfrelay(191.32)