For all category leaderboards: If two runs have the same time down to the second, milliseconds will be used to break the tie. This ensures a fair and accurate ranking, even for extremely close runs.