Hello, everyone! Please tell me, the race results show the pit stop time. Is this a rounded number? And is it not included in the total race time in the results?
I noticed that if you add up only the lap times, it doesn't match the total time in the table (it's a few tenths of a second less than in the table). And if you add up the pit stops as well, it still doesn't match (it's a few seconds more).