Family k_dum_p results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ61.7815.446.0816.48.711
aigqbf_s11.752.941.053.091.981
aigqbf_sr18.184.541.334.782.481
AQME-1NN2.480.620.040.620.071
AQME-C4.52.720.680.030.680.061
AQME-RIPPER2.940.730.030.730.061
EBDDRES1.420.360.030.360.051
ncQuBE1.0857.52214.3873.81242.34110.080.25
ncQuBE1.12400600060000
preQuel_sKizzo-0.100.580.150.030.150.061
qSS52.7913.27.616.859.861
QUANTOR_2.150.120.0300.030.011
qZilla61.5815.46.0716.338.611
sKizzo-0.10-qck0.470.120.030.120.051
sKizzo-0.10-std0.470.120.030.120.051
squolem0.680.170.020.170.041
yQuaffle2400600060000