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

Instance: ssa7552-160-50
Best Solver: AQME-RIPPER Time: 1.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-C4.5 1.56 yQuaffle 11.37 - -
- - AQME-1NN 2.26 - - - -
AQME-RIPPER(1.54)
AQME-C4.5(1.56)
AQME-1NN(2.26)
yQuaffle(11.37)