Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-100-25-eq
Best Solver: rev_qfun0.1 Time: 4.45 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 9.33 QELL_unit 43.85 - -
- - ghostq-cegar 14.04 - - - -
- - GhostQ-PG_cegar 14.12 - - - -
rev_qfun0.1(4.45)
QELL_default(9.33)
ghostq-cegar(14.04)
GhostQ-PG_cegar(14.12)
QELL_unit(43.85)