Family k_dum_n results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ0.350.070.010.070.011
aigqbf_s16.123.221.693.122.581
aigqbf_sr22.934.592.254.53.461
AQME-1NN3.230.650.060.660.111
AQME-C4.53.560.710.060.70.091
AQME-RIPPER3.80.760.070.760.111
EBDDRES0.840.170.060.180.091
ncQuBE1.01188.28237.6670.21269.4589.660.2
ncQuBE1.13000600060000
preQuel_sKizzo-0.1010.20.080.20.121
qSS0.480.10.020.090.021
QUANTOR_2.150.130.030.010.030.011
qZilla0.320.060.020.060.011
sKizzo-0.10-qck0.760.150.050.150.091
sKizzo-0.10-std0.760.150.050.150.081
squolem0.460.090.030.090.051
yQuaffle3000600060000