I think in-game time should be used (or sum of times for a full run). Otherwise different hardware can get you different times.
thx, i'll look into that
at least on my hardware the timer seems to run in realtime
Yes, the last number is frames instead of milliseconds.
