i don't know what happens if there is an actual exact tie. i have lost #1 before by a 1/20th of a second and the game correctly updated the player's placement on the leaderboard to be higher than me, so i know that even if the game doesn't show it, it does precisely count each and every milisecond.