Sota solver details
QBFEVAL'07

Instance: vis.prodcell^04.E-f4
Best Solver: yQuaffle Time: 0.39 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 1.47 preQuel_sKizzo-0.10 2.31 AQME-RIPPER 8.82
- - ncQuBE1.0 1.54 AQME-1NN 2.68 Adaptive2clsQ 17.63
- - - - AQME-C4.5 2.77 qZilla 18.09
yQuaffle(0.39)
ncQuBE1.1(1.47)
ncQuBE1.0(1.54)
preQuel_sKizzo-0.10(2.31)
AQME-1NN(2.68)
AQME-C4.5(2.77)
AQME-RIPPER(8.82)
Adaptive2clsQ(17.63)
qZilla(18.09)