Speedrun.com uses the in-game timer but it's a sum-of-best, so it is the time displayed bellow the 'level select'
