88ºF = 31ºC
No wonder they had trouble. I can run a mile in about 12.5 minutes, but not when it's that hot. Even at 15ºC, I sweat for 20 minutes afterwards.