Just talking about my personal experience with the Pride. But we also took the Miracle out of Baltimore and encountered the same thing. Plus, we were just on the Glory in December out of Miami and it was basically the same experience.
But times can vary - just depends on how soon they get into port, how soon they clear customs, how soon they get everyone off the ship, etc.
Travel Agent/Cruise Specialist w/12 yrs exp and 47 Cruises on 11 cruise lines! Favorites: Paul Gauguin - Tahiti: Uniworld River Cruises - Europe; Celebrity Solstice-class ships; Holland America - 12-nights Baltics & Russia; RCCL - 14-nights Greek Isles, Turkey, & Croatia; Holland America - 14-day Alaskan cruisetour; 10-night Canada/New England cruise; 21 days Hawaii w/7-night NCL cruise; Oceania - 25 days in Asia; more than 3 months touring Europe by train. And many all-inclusive resorts!