for (DecisionDescriptor d : decisions.values()) { stats.numDecisionsCovered++; d.avgk /= (double)d.n;
for (DecisionDescriptor d : decisions.values()) { stats.numDecisionsCovered++; d.avgk /= (double)d.n;
for (DecisionDescriptor d : decisions.values()) { stats.numDecisionsCovered++; d.avgk /= (double)d.n;
for (DecisionDescriptor d : decisions.values()) { stats.numDecisionsCovered++; d.avgk /= (double)d.n;
for (DecisionDescriptor d : decisions.values()) { stats.numDecisionsCovered++; d.avgk /= (double)d.n;
for (DecisionDescriptor d : decisions.values()) { stats.numDecisionsCovered++; d.avgk /= (double)d.n;