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

Instance: ii8a2-90
Best Solver: ncQuBE1.0 Time: 0.83 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 0.85 - - AQME-RIPPER 12.41
- - AQME-1NN 1.39 - - - -
- - AQME-C4.5 1.43 - - - -
ncQuBE1.0(0.83)
ncQuBE1.1(0.85)
AQME-1NN(1.39)
AQME-C4.5(1.43)
AQME-RIPPER(12.41)