I did a casual playthrough and beat the "record," but it turns out there was a run that was never added to the leaderboard.