Family k_grz_p results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ1238.16309.54290.52313.81580.920.5
aigqbf_s163.1740.7915.134328.950
aigqbf_sr1742.33435.58118.31495163.940
AQME-1NN8.642.1612.311.951
AQME-C4.58.932.231.012.41.951
AQME-RIPPER9.42.351.032.472.011
EBDDRES111.527.872.3229.093.070
ncQuBE1.0789.53197.38150.99213.66296.170.5
ncQuBE1.11814.07453.52253.71600292.960.25
preQuel_sKizzo-0.101.540.390.160.40.261
qSS7.341.841.531.863.051
QUANTOR_2.15105.1426.299.2627.5616.340.75
qZilla51.0812.772.0812.143.021
sKizzo-0.10-qck3.860.960.740.971.481
sKizzo-0.10-std3.860.960.740.971.471
squolem2400600060000
yQuaffle2400600060000