Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-074-18-eq
Best Solver: rev_qfun0.1 Time: 0.62 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 15.91
- - - - - - ghostq-cegar 36
- - - - - - GhostQ-PG_cegar 36.19
rev_qfun0.1(0.62)
QELL_unit(1.81)
QELL_default(15.91)
ghostq-cegar(36)
GhostQ-PG_cegar(36.19)
AIGSolve(91.03)
qesto(756.01)