Sota solver details
QBFEVAL'07

Instance: ken.flash^06.C-f2
Best Solver: yQuaffle Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 0.39 - - sKizzo-0.10-std 1.32
- - ncQuBE1.0 0.42 - - sKizzo-0.10-qck 1.33
- - preQuel_sKizzo-0.10 0.5 - - AQME-C4.5 2.26
- - qSS 0.56 - - AQME-RIPPER 2.28
yQuaffle(0.12)
ncQuBE1.1(0.39)
ncQuBE1.0(0.42)
preQuel_sKizzo-0.10(0.5)
qSS(0.56)
sKizzo-0.10-std(1.32)
sKizzo-0.10-qck(1.33)
AQME-C4.5(2.26)
AQME-RIPPER(2.28)
Adaptive2clsQ(12.27)
qZilla(12.37)
AQME-1NN(44.71)
aigqbf_sr(511.25)
aigqbf_s(513.45)