I didn't see the time, largely because there wasn't one.
There are four different cars filling the first four places.
Just under 10 seconds for Nigel Mansell. Call it 9.5 seconds in round numbers.
And the first five places are filled by five different cars.
The lead car is unique, except for the one behind it which is identical.
I've no idea what Eddie Irvine's orders are, but he's following them superlatively well.