Sota solver details
QBFEVAL'07

Instance: mutex-16-s
Best Solver: sKizzo-0.10-std Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 0.02 - - squolem 0.32
- - qSS 0.08 - - AQME-1NN 0.51
- - - - - - AQME-C4.5 0.58
- - - - - - AQME-RIPPER 0.62
- - - - - - EBDDRES 0.68
- - - - - - preQuel_sKizzo-0.10 1.86
sKizzo-0.10-std(0.02)
sKizzo-0.10-qck(0.02)
qSS(0.08)
squolem(0.32)
AQME-1NN(0.51)
AQME-C4.5(0.58)
AQME-RIPPER(0.62)
EBDDRES(0.68)
preQuel_sKizzo-0.10(1.86)
qZilla(10.92)
aigqbf_s(12.93)
aigqbf_sr(17.01)
Adaptive2clsQ(28.46)