13 Machamp, because of its higher defense, would survive slightly longer than the 9 Machamp. By virtue of surviving slightly longer, it'll get a couple more hits in before fainting and would therefore be slightly more effective at attacking.
However, if 9 Machamp had a better moveset, then I would invest in that one instead of the 13.