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

Instance: ring6_32
Best Solver: yQuaffle Time: 114.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 191.41 - - - -
- - sKizzo-0.10-std 396.21 - - - -
- - ncQuBE1.0 401.23 - - - -
- - AQME-C4.5 428.6 - - - -
yQuaffle(114.89)
ncQuBE1.1(191.41)
sKizzo-0.10-std(396.21)
ncQuBE1.0(401.23)
AQME-C4.5(428.6)