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

Instance: par16-2-c-90
Best Solver: AQME-RIPPER Time: 6.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 7.03 - - - -
- - ncQuBE1.1 7.07 - - - -
- - AQME-1NN 7.17 - - - -
- - AQME-C4.5 7.22 - - - -
AQME-RIPPER(6.92)
ncQuBE1.0(7.03)
ncQuBE1.1(7.07)
AQME-1NN(7.17)
AQME-C4.5(7.22)