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

Instance: aim-100-3_4-yes1-4-90
Best Solver: yQuaffle Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 0.13 sKizzo-0.10-qck 0.38 AQME-C4.5 0.67
- - ncQuBE1.1 0.13 sKizzo-0.10-std 0.38 AQME-RIPPER 0.73
- - - - preQuel_sKizzo-0.10 0.39 aigqbf_s 3.84
- - - - qSS 0.4 - -
yQuaffle(0.06)
ncQuBE1.0(0.13)
ncQuBE1.1(0.13)
sKizzo-0.10-qck(0.38)
sKizzo-0.10-std(0.38)
preQuel_sKizzo-0.10(0.39)
qSS(0.4)
AQME-C4.5(0.67)
AQME-RIPPER(0.73)
aigqbf_s(3.84)
aigqbf_sr(20.48)
Adaptive2clsQ(70.42)
AQME-1NN(91.47)