Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-116-29-eq
Best Solver: QELL_unit Time: 20.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 79.46 - - - -
- - QELL_default 81.3 - - - -
- - ghostq-cegar 87.42 - - - -
QELL_unit(20.11)
GhostQ-PG_cegar(79.46)
QELL_default(81.3)
ghostq-cegar(87.42)