Benyó
Regular
I think rounding is rounding. If the result is displayed with 2 decimal places of accuracy, I don't think you can rank it by anything but that. It stinks that some averages are .001 from being better than another, but thats the nature of speed. They weren't quite fast enough for it to count as a different result.
it's just luck. At 10.396666 vs 10.400000 they weren't fast enough but at 10.333333 vs 10.666666 the difference is big enough? the equal result is given by the division by 3. if we just sum the 3 counting times we get the difference.
maybe we should multiply the times by 0 and everybody would win.