With a 4 man rotation and a lot of off days I think 13 would be overkill.
NLDS is usually 2 games then a travel day.
Last year in the NLCS, both teams used 11 pitchers. In 2016, the Cubs used 11 and the Dodgers 12. In 2015 the Cubs used 11 and the Mets used 9.