5bcf89d0dcfc629b45351b85c936759898d407ab,mathics/benchmark.py,,timeit,#Any#Any#,84

Before Change

    times.append(time.clock())

    average_time = format_time_units((times[-1] - times[0]) / repeats)
    best_time = format_time_units(
        min([times[i + 1] - times[i] for i in range(repeats)]))
    print("    {0:5n} loops, avg: {1} per loop, best: {2} per loop".format(

After Change

    average_time = format_time_units(statistics.mean(times))
    best_time = format_time_units(min(times))
    median_time = format_time_units(statistics.median(times))

    print("    {0:5n} loops, avg: {1}, best: {2}, median: {3} per loop".format(
        repeats, average_time, best_time, median_time))

Instances