Sota solver details
QBFEVAL'07

Instance: mutex-64-s
Best Solver: sKizzo-0.10-std Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 0.08 AQME-1NN 0.65 squolem 4.59
- - qSS 0.25 AQME-C4.5 0.71 - -
- - - - AQME-RIPPER 0.75 - -
sKizzo-0.10-std(0.08)
sKizzo-0.10-qck(0.08)
qSS(0.25)
AQME-1NN(0.65)
AQME-C4.5(0.71)
AQME-RIPPER(0.75)
squolem(4.59)
EBDDRES(8.31)
qZilla(13.82)
Adaptive2clsQ(26.73)
aigqbf_s(263.67)