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

Instance: ssa7552-160-00
Best Solver: AQME-C4.5 Time: 1.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-RIPPER 1.62 yQuaffle 12.97 AQME-1NN 135.57
- - ncQuBE1.1 2.22 - - - -
- - ncQuBE1.0 2.28 - - - -
AQME-C4.5(1.55)
AQME-RIPPER(1.62)
ncQuBE1.1(2.22)
ncQuBE1.0(2.28)
yQuaffle(12.97)
AQME-1NN(135.57)