Average speed is lap length ÷ lap time. Race time is laps × lap time plus the pit-stop losses, assuming every lap is run at the same pace. In reality tyres degrade and fuel burns off, so treat this as the clean-air, no-traffic baseline rather than a race simulation.