Family k_t4p_p results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn5742.79717.85328.13901.01282.490.25
CSBJ6362.34795.29279.69901.010.010.125
GRL6307.8788.48297.74901.010.010.125
openQbf6345.21793.15285.36901.010.010.125
orSAT1405.17175.6599.76157.79169.720
QBFL-BS7208.06901.010901.0100
QBFL-JW7208.039010.019010.010
QMRes22.922.871.913.053.561
QSAT6309.04788.63297.319010.010.125
QUANTOR210.8926.3625.7419.0932.460.5
QUBE-BJ5701.64712.71334.32901.03303.390.25
QUBE-LRN6308.77788.6297.47901.0300.125
semprop5408.35676.04389.64901449.390.25
sSolve6307.45788.43297.85901.010.010.125
WalkQSAT6309.33788.67297.23901.0100.125
yQuaffle3204.48400.56258.03330.3313.80.125