Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-092-23-eq
Best Solver: QELL_default Time: 2.65 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 4.81 ghostq-cegar 25.12 rev_qfun0.1 219.47
- - - - GhostQ-PG_cegar 26.34 - -
QELL_default(2.65)
QELL_unit(4.81)
ghostq-cegar(25.12)
GhostQ-PG_cegar(26.34)
rev_qfun0.1(219.47)