Device power requirements
You are correct on the math, however designing for the max current could be a more expensive design than necessary.  For example, if you are not going to have more than two devices charging, and each actually needs 2 amps, then you just need a 5 amp supply, which would be a lot cheaper (and smaller) than the 13 amp supply.