  We show that the naive application of the Kibble mechanism seriously
underestimates the initial density of cosmic superstrings that can be formed
during the annihilation of D-branes in the early universe, as in models of
brane-antibrane inflation. We study the formation of defects in effective field
theories of the string theory tachyon both analytically, by solving the
equation of motion of the tachyon field near the core of the defect, and
numerically, by evolving the tachyon field on a lattice. We find that defects
generically form with correlation lengths of order M_s^{-1} rather than H^{-1}.
Hence, defects localized in extra dimensions may be formed at the end of
inflation. This implies that brane-antibrane inflation models where inflation
is driven by branes which wrap the compact manifold may have problems with
overclosure by cosmological relics, such as domain walls and monopoles.
