Family k_dum_p results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn4206.59525.82416.23746.55895.780.5
CSBJ6309.19788.65297.269010.010.125
GRL4562.88570.36427.13901872.090.375
openQbf6308.88788.61297.37901.010.010.125
orSAT4453556.63291.09652.36503.790
QBFL-BS6316.41789.55294.9901.010.010.125
QBFL-JW6325.97790.75291.73901.010.010.125
QMRes4.760.60.430.570.731
QSAT5525.85690.73365.43901390.620.25
QUANTOR65.768.226.267.711.380.75
QUBE-BJ4255.07531.88416.94769.27894.830.5
QUBE-LRN4748.66593.58402.24901.03779.770.375
semprop7.290.910.720.951.291
sSolve4870.06608.76390.45901718.510.375
WalkQSAT4554.4569.3428.39901876.370.375
yQuaffle4025.19503.15401.27651.35891.280.5