Suite Biere results for solvers
QBFEVAL'07

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ135544.67477.27239.7360000.208
aigqbf_s134801.59474.65230.2360053.590.239
aigqbf_sr135326.73476.5227.9860033.360.243
AQME-1NN95159.07335.07275.45600593.70.444
AQME-C4.592132.52324.41276.72304.42596.050.458
AQME-RIPPER89154.26313.92270.46251.4594.150.447
EBDDRES7530.9526.527.2928.524.720.063
ncQuBE1.074507.58262.35283.1375.6599.440.588
ncQuBE1.174024.68260.65284.9748.83599.460.599
preQuel_sKizzo-0.10138864.54488.96227.5960000.18
qSS131607.58463.41238.16600140.610.268
QUANTOR_2.155616.0319.7740.4614.694.890.123
qZilla134263.65472.76240.5860000.222
sKizzo-0.10-qck122797.54432.39253.07600445.820.292
sKizzo-0.10-std122867.43432.63255.35600468.670.296
squolem161270.9567.86130.9460000.063
yQuaffle135212.9476.1242.0460000.208