Family k_grz_n results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ1232.96308.24291.87313.9583.520.5
aigqbf_s171.994316.5743.16310
aigqbf_sr1797.58449.4110.68490.89178.60
AQME-1NN11.452.861.373.122.491
AQME-C4.512.0131.433.222.611
AQME-RIPPER11.972.991.393.252.541
EBDDRES100.625.152.4425.054.360
ncQuBE1.0852.29213.07135.03254.1242.110.5
ncQuBE1.11808.39452.1256.17600295.80.25
preQuel_sKizzo-0.10821.81.793.51
qSS610.59152.65182.7479.63298.151
QUANTOR_2.15104.3326.0811.325.9821.940.75
qZilla668.23167.06189.7994.81316.411
sKizzo-0.10-qck125.8231.4628.972550.691
sKizzo-0.10-std224.4856.1252.4657.89104.81
squolem2400600060000
yQuaffle2400600060000