Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-108-27-eq
Best Solver: QELL_unit Time: 13.97 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 50.23 QELL_default 101.29 GhostQ-PG_cegar 150.83
- - - - - - ghostq-cegar 165.59
QELL_unit(13.97)
rev_qfun0.1(50.23)
QELL_default(101.29)
GhostQ-PG_cegar(150.83)
ghostq-cegar(165.59)