[S_J]

M.W. zählt die Bruttozeit nur für Platzierungen aber nicht für die Bestenliste.

Nicht ganz korrekt.

International zählt nur die Bruttozeit. Die Nettozeit ist keine offizielle Zeit (TR 19.25, Anm. 1). 

 Dass Statistiker Nettozeiten berücksichtigen dürfen, ist lediglich eine nationale Regelung.

Je nachdem, was man mit der Zeit vorhat, ist der Unterschied schon signifikant.