Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-112-28-eq
Best Solver: QELL_default Time: 14.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 46.05 - - - -
- - ghostq-cegar 46.42 - - - -
- - QELL_unit 55.02 - - - -
QELL_default(14.93)
GhostQ-PG_cegar(46.05)
ghostq-cegar(46.42)
QELL_unit(55.02)