I think some computer-aided analysis is in order on this question. It's true the really fast guys shoulder their bikes and run. But would they be faster if they pushed their bike?