Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-088-22-eq
Best Solver: QELL_unit Time: 1.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 3.21 - - QELL_default 24.43
- - - - - - GhostQ-PG_cegar 56.8
- - - - - - ghostq-cegar 57.49
QELL_unit(1.52)
rev_qfun0.1(3.21)
QELL_default(24.43)
GhostQ-PG_cegar(56.8)
ghostq-cegar(57.49)