Warm-up run ended up being better than the actual one by more than a minute. Whoops. Decent time to start the leaderboards for 100%.