From: Go Fig

Are you disagreeing with most people do it in more than 10+ hours ?

4 hours up, 3 hours down is making good time (or at least that's what it
usually took me). "Most people" can't do it at all.

10 hours, 4K feet in elevation is a long day hike.

16-17 miles, 4,800 ft elevation does make for a long strenuous day hike, but
it's easier than hiking to the river and back at the Grand Canyon since it's
cooler and the uphill comes first at Half Dome.