Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-096-24-eq
Best Solver: QELL_unit Time: 3.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 7.95 - - - -
- - rev_qfun0.1 9.91 - - - -
QELL_unit(3.13)
QELL_default(7.95)
rev_qfun0.1(9.91)
GhostQ-PG_cegar(568.24)
ghostq-cegar(571.5)