Sota solver details
QBFEVAL'07

Instance: ken.flash^14.C-d3
Best Solver: sKizzo-0.10-std Time: 4.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-C4.5 6.09 qSS 30.7 AQME-RIPPER 87.62
- - AQME-1NN 6.25 - - - -
- - sKizzo-0.10-qck 7.53 - - - -
sKizzo-0.10-std(4.68)
AQME-C4.5(6.09)
AQME-1NN(6.25)
sKizzo-0.10-qck(7.53)
qSS(30.7)
AQME-RIPPER(87.62)