Sota solver details
QBFEVAL'07

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-1NN 12.29 - - - -
- - AQME-C4.5 12.53 - - - -
- - sKizzo-0.10-qck 16.55 - - - -
- - qSS 41.45 - - - -
sKizzo-0.10-std(10.63)
AQME-1NN(12.29)
AQME-C4.5(12.53)
sKizzo-0.10-qck(16.55)
qSS(41.45)