Suite Scholl-Becker results for solvers
QBFEVAL'07

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ4951.64412.64265.37600538.350.333
aigqbf_s2763.87230.32231.77165.04451.160.667
aigqbf_sr3664.85305.4264.5387.07595.130.583
AQME-1NN2621218.42224.65115.71424.330.75
AQME-C4.52985.06248.75202.67143.63329.10.75
AQME-RIPPER2618.83218.24173.35143.64215.760.75
EBDDRES301.0425.097.3625.386.240.083
ncQuBE1.03350.17279.18261.02161.94568.330.667
ncQuBE1.13713.13309.43258.68236.88547.370.583
preQuel_sKizzo-0.107168.16597.358.860000
qSS5115.89426.32254.16600451.550.333
QUANTOR_2.151684.05140.34218.8112.09202.610.5
qZilla4860.71405.06275.75600577.40.333
sKizzo-0.10-qck4283.69356.97287.92600588.820.417
sKizzo-0.10-std4472.54372.71276.21600588.780.333
squolem7200600060000
yQuaffle4968.71414.06232.14600455.580.417