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

Instance: par16-1-c-00
Best Solver: yQuaffle Time: 0.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 3.41 AQME-RIPPER 8.2 AQME-C4.5 9.02
- - ncQuBE1.0 3.52 - - AQME-1NN 9.19
yQuaffle(0.84)
ncQuBE1.1(3.41)
ncQuBE1.0(3.52)
AQME-RIPPER(8.2)
AQME-C4.5(9.02)
AQME-1NN(9.19)
qSS(279.34)