The official time of the entire 25-inning game was 8 hours 6 minutes, also a major league record.

Not only that, his official intermediate time at half marathon shows 1:09:04, which is a new national record.

Her official time for the 1980 marathon, 2:34:28, was recognized as a course record.

In general the amount of high official time invested seems to have gone up a bit.

Finally, I slowed to a stop - about two feet short of the finish, which would mean no official time for my run.

Hand timing was the official time used in the 1956 Olympics.

But the referee keeps the official time on the field.

The official time of the score in overtime was 4 minutes 8 seconds.

The official time is that of the third racer on each team.

I finished the race with an official time of 3 hours 58 minutes 59 seconds.