average['nbExploredLocation'] += [len(exploredLocations)]
average['totalSize'] += [len(data['executions'])]
if len(sizeCorrectSeqDecisions) > 0:
average['minSizeCorrectSeqDecision'] += [min(sizeCorrectSeqDecisions)]
average['maxSizeCorrectSeqDecision'] += [max(sizeCorrectSeqDecisions)]
average['medSizeCorrectSeqDecision'] += [med(sizeCorrectSeqDecisions)]
if len(sizeFailureSeqDecisions) > 0:
average['minSizeFailureSeqDecision'] += [min(sizeFailureSeqDecisions)]
average['maxSizeFailureSeqDecision'] += [max(sizeFailureSeqDecisions)]
average['medSizeFailureSeqDecision'] += [med(sizeFailureSeqDecisions)]
print "%s & %s & %s & %s & %s & %s & %s & %s & %s & %s \\\\" % (
"{:15}".format(bugTitle),
numToStr(len(exploredLocations)),
numToStr(len(data['executions'])),
numToStr(nbPassedSeqLaps),
numToStr(min(sizeCorrectSeqDecisions) if len(sizeCorrectSeqDecisions) > 0 else None),
numToStr(med(sizeCorrectSeqDecisions) if len(sizeCorrectSeqDecisions) > 0 else None),
numToStr(max(sizeCorrectSeqDecisions) if len(sizeCorrectSeqDecisions) > 0 else None),
numToStr(min(sizeFailureSeqDecisions) if len(sizeFailureSeqDecisions) > 0 else None),
numToStr(med(sizeFailureSeqDecisions) if len(sizeFailureSeqDecisions) > 0 else None),
numToStr(max(sizeFailureSeqDecisions) if len(sizeFailureSeqDecisions) > 0 else None)
)
print "\\hline"
print "Total & %s & %s & %s & %s & %s & %s & %s & %s & %s \\\\" % (
numToStr(sum(average['nbExploredLocation'])),
numToStr(sum(filter(lambda x: x is not None,average['totalSize']))),
numToStr(sum(average['nbPassedSeqLaps'])),
numToStr(min(filter(lambda x: x is not None,average['minSizeCorrectSeqDecision']))),
average[epsilon]['countPassedLaps'] += [med(seedCountPassedLaps)]
average[epsilon]['nbBeforeMaxExploration'] += [med(seedNbBeforeMaxExploration)]
average[epsilon]['minSizeCorrectSeqDecision'] += seedMinSizeCorrectSeqDecisions
average[epsilon]['maxSizeCorrectSeqDecision'] += seedMaxSizeCorrectSeqDecisions
average[epsilon]['medSizeCorrectSeqDecision'] += seedMedSizeCorrectSeqDecisions
average[epsilon]['minSizeFailureSeqDecision'] += seedMinFailureSeqDecisions
average[epsilon]['maxSizeFailureSeqDecision'] += seedMaxFailureSeqDecisions
average[epsilon]['medSizeFailureSeqDecision'] += seedMedFailureSeqDecisions
average[epsilon]['nbLaps'] += [med(seedNbLaps)]
print " & $%.1f$ & %s & %s & %s & %s & %s & %s \\\\" % (
1 - float(epsilon),
numToStr(med(seedExploredLocations)),
#numToStr(med(nbDetectedDecision)),
#numToStr(med(seedExploredDecisions)),
numToStr(med(seedExploredSeqDecisions)),
numToStr(med(seedNbPassedSeqLaps)),
numToStr(med(seedCountPassedLaps)),
numToStr(med(seedNbBeforeMaxExploration)),
numToStr(med(seedNbBeforeStabilization)),
#numToStr(med(seedMinSizeCorrectSeqDecisions)),
#numToStr(med(seedMedSizeCorrectSeqDecisions)),
#numToStr(med(seedMaxSizeCorrectSeqDecisions)),
#numToStr(med(seedMinFailureSeqDecisions)),
#numToStr(med(seedMedFailureSeqDecisions)),
#numToStr(med(seedMaxFailureSeqDecisions))
)
print "\\hline"