🏁 When to Pit

Total race time is a sum with a minimum. Practice numbers: find the best lap to stop, on the same tyres and on two kinds.