Sota solver details
QBFEVAL'07

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 1.72 - - ncQuBE1.0 26.37
- - - - - - ncQuBE1.1 44.17
- - - - - - qSS 46.18
- - - - - - AQME-1NN 163.85
- - - - - - AQME-RIPPER 164.01
- - - - - - AQME-C4.5 164.02
sKizzo-0.10-std(1.68)
sKizzo-0.10-qck(1.72)
ncQuBE1.0(26.37)
ncQuBE1.1(44.17)
qSS(46.18)
AQME-1NN(163.85)
AQME-RIPPER(164.01)
AQME-C4.5(164.02)
aigqbf_sr(392.24)
aigqbf_s(424.75)