Sota solver details
QBFEVAL'07

Instance: mutex-32-s
Best Solver: sKizzo-0.10-std Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qSS 0.13 - - AQME-1NN 0.55
- - - - - - AQME-C4.5 0.62
- - - - - - AQME-RIPPER 0.66
- - - - - - squolem 1.06
- - - - - - EBDDRES 2.32
sKizzo-0.10-qck(0.04)
sKizzo-0.10-std(0.04)
qSS(0.13)
AQME-1NN(0.55)
AQME-C4.5(0.62)
AQME-RIPPER(0.66)
squolem(1.06)
EBDDRES(2.32)
qZilla(13.12)
Adaptive2clsQ(27.83)
aigqbf_s(58.74)
aigqbf_sr(104.19)