buf.append(Stats.avg(depths)); buf.append('\t'); buf.append(Stats.stddev(depths)); buf.append('\t'); buf.append(Stats.min(acyclicDFAStates)); buf.append(Stats.avg(acyclicDFAStates)); buf.append('\t'); buf.append(Stats.stddev(acyclicDFAStates)); buf.append('\t'); buf.append(Stats.sum(acyclicDFAStates)); buf.append(Stats.avg(cyclicDFAStates)); buf.append('\t'); buf.append(Stats.stddev(cyclicDFAStates)); buf.append('\t'); buf.append(Stats.sum(cyclicDFAStates));