Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: sdlx-fixpoint-10
Best Solver: QELL_unit Time: 4.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 4.85 - - - -
- - CADET_2017 9.09 - - - -
- - GhostQ-PG_plain 9.36 - - - -
- - GhostQ-PG_cegar 13.82 - - - -
QELL_unit(4.84)
QELL_default(4.85)
CADET_2017(9.09)
GhostQ-PG_plain(9.36)
GhostQ-PG_cegar(13.82)