def measure_time(x, infilename, outfilename):
    t = []
    for _ in range(0, args.iterations):
        t = (t + [run_exec(x, infilename, outfilename)])
    return statistics.median(t)
def measure_time(x, infilename, outfilename):
    t = []
    for _ in range(0, args.iterations):
        t = (t + [run_exec(x, infilename, outfilename)])
    return statistics.median(t)