Sota solver details
QBFEVAL'07

Instance: vis.prodcell^01.E-d3
Best Solver: ncQuBE1.1 Time: 0.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 0.26 AQME-RIPPER 1.3 - -
- - AQME-1NN 1.19 - - - -
ncQuBE1.1(0.24)
ncQuBE1.0(0.26)
AQME-1NN(1.19)
AQME-RIPPER(1.3)
qSS(32.96)
yQuaffle(48.56)
AQME-C4.5(83.33)
aigqbf_s(124.77)
aigqbf_sr(128.94)
sKizzo-0.10-qck(209.02)