Sota solver details
QBFEVAL'07

Instance: k_grz_n-16
Best Solver: preQuel_sKizzo-0.10 Time: 0.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - AQME-1NN 2.39 qSS 6.98
- - - - AQME-C4.5 2.46 sKizzo-0.10-std 7.33
- - - - AQME-RIPPER 2.48 sKizzo-0.10-qck 12.12
- - - - - - qZilla 12.58
- - - - - - Adaptive2clsQ 27.81
preQuel_sKizzo-0.10(0.38)
AQME-1NN(2.39)
AQME-C4.5(2.46)
AQME-RIPPER(2.48)
qSS(6.98)
sKizzo-0.10-std(7.33)
sKizzo-0.10-qck(12.12)
qZilla(12.58)
Adaptive2clsQ(27.81)
ncQuBE1.0(176.59)