In certain categories it is almost impossible to shave off a whole second.

Hey tokuchi, I agree that adding milliseconds might be worth looking into. As we already have a large number of runs, I would rather wait until we have a tie before going through the arduous process of re-timing every single run.