import sys
import statistics

filename = sys.argv[1]
times1 = []
times2 = []
times3 = []
with open(filename) as fp:
    for line in fp:
        if not line.startswith('Min'):
            continue
        parts = line.split()
        times1.append(float(parts[1]))
        times2.append(float(parts[3][:-1])) # strip the ":"
        times3.append(float(parts[4][:-1])) # strip the "x"

def stability(times):
    mean = statistics.mean(times)

    value = statistics.stdev(times)
    percent = value * 100 / mean
    print("stddev: %.5f (%.1f%%, mean=%.5f)" % (value, percent, mean))

    value = statistics.pvariance(times)
    percent = value * 100 / mean
    print("pvariance: %.5f (%.3f%%, mean=%.5f)" % (value, percent, mean))
    print()

print(times1)
print(times2)
print(times3)
print()

stability(times1)
stability(times2)
stability(times3)