import math


def time_str(val):
    """ Convert perfcounter difference to time string minutes:seconds.milliseconds """
    return f"{math.floor(val / 60):02}:{math.floor(val % 60):02}.{math.floor((val % 1) * 100):02}"