Yes, while complaining about 4000ft of elevation and 13 miles. I wonder what was their program for the rest of the week if that sounds like a lot
With a full pack, unacclimated, making 10+ miles is a pretty good day. 13 miles outrunning a forest fire is respectable.
Also, they had 7 days to complete the rest of their hike. I suspect the stats for the hike out weren't too difficult, but the cumulative effects were.