Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-084-21-eq
Best Solver: QELL_default Time: 3.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 4.32 - - - -
- - ghostq-cegar 5.93 - - - -
- - GhostQ-PG_cegar 6 - - - -
- - QELL_unit 12.22 - - - -
QELL_default(3.51)
rev_qfun0.1(4.32)
ghostq-cegar(5.93)
GhostQ-PG_cegar(6)
QELL_unit(12.22)