Sota solver details
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instance: par16-3-c-00
Best Solver: yQuaffle Time: 8.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 9.35 - - AQME-1NN 170.9
- - ncQuBE1.0 12.14 - - AQME-C4.5 170.96
- - - - - - qSS 587.54
yQuaffle(8.55)
ncQuBE1.1(9.35)
ncQuBE1.0(12.14)
AQME-1NN(170.9)
AQME-C4.5(170.96)
qSS(587.54)