Sota solver details
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instance: ring5_32
Best Solver: yQuaffle Time: 41.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 72.52 - - - -
- - ncQuBE1.0 104.78 - - - -
yQuaffle(41.86)
ncQuBE1.1(72.52)
ncQuBE1.0(104.78)