  In this paper, we prove the generic overconvergence of relative rigid
cohomology with coefficient, by using the semistable reduction conjecture for
overconvergent $F$-isocrystals (which is recently shown by Kedlaya).
