Family k_dum_n results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL4504.76750.79335.04900.57898.980.167
openQbf5405.52900.920.01900.930.030
qbfbdd5403.75900.630.15900.640.330
QbflHR4963827.17165.11901443.030.167
QChaffLearn4552.84758.81316.42900.31849.090.167
QMRes6.551.090.721.021.091
QUANTOR0.130.020.010.020.011
semprop0.350.060.040.050.051
skizzo_v0.42510.95418.49351.24481.14743.660.167
skizzo_v0.52.150.360.160.340.211
sSolve4266.81711.14329.27900.98899.710.333
WalkQSAT4506.81751.14335.09900.99899.150.167
yQuaffle4514.72752.45331.16900.55888.60.167