Hola miguel.
Para mi, la efectividad de los estiramientos no es la cantidad, es la frecuencia. Mejor hacer 1 de cada músculo al día durante 2 años que 5 de cada músculo durante 3 meses.
Lo que yo suelo hacer es varios estiramientos de cada grupo muscular durante 20-30" por lado; aunque si has leído el último aporte, a veces lo aplico y lo que sugiere es estar en una misma posición 2-3' pero sólo con 1-2 músculos por sesión, si no, quita mucho tiempo.
El momento, los hago en el gimnasio al terminar de entrenar, aunque hay mucha gente que dice que eso es contraproducente, sé que si no los hago ahí luego no los voy a hacer. Y bueno, ya te digo, de momento me ha ido bien y no he notado que afecte a mi entrenamiento.
Saludos!