Family k_path_n results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ0.390.080.020.080.021
aigqbf_s44.698.945.248.357.851
aigqbf_sr62.0812.426.3612.019.811
AQME-1NN2.810.560.050.580.081
AQME-C4.53.10.620.020.630.041
AQME-RIPPER3.340.670.030.670.051
EBDDRES2.30.460.190.450.281
ncQuBE1.02474.42494.8890.68461.86124.650
ncQuBE1.13000600060000
preQuel_sKizzo-0.102.70.540.290.520.441
qSS46.669.332.3310.042.981
QUANTOR_2.150.250.050.020.050.031
qZilla0.350.070.020.060.021
sKizzo-0.10-qck14.62.920.212.880.151
sKizzo-0.10-std46.569.312.4310.053.181
squolem2.770.550.180.590.311
yQuaffle3000600060000