Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-080-20-eq
Best Solver: rev_qfun0.1 Time: 1.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 1.81 - - QELL_default 24.31
- - - - - - ghostq-cegar 83.58
- - - - - - GhostQ-PG_cegar 83.63
rev_qfun0.1(1.16)
QELL_unit(1.81)
QELL_default(24.31)
ghostq-cegar(83.58)
GhostQ-PG_cegar(83.63)
AIGSolve(447.67)