Claim: Nigel Mansell, with a record time of 1:22:11.014 in 61 laps, was the 1990 Portuguese Grand Prix champion, followed by Brazil Ayrton Senna with a record time of 1:22:13.822 in 61 laps.
Evidence: Brazil Ayrton Senna + 2.808 1:22:11.014