In reply to YourNameHere:
I'd think so. To quote Mammut:
Due to their construction, every core sheath rope shrinks during use. Depending on the weather (heat, moisture), terrain (dust, sand) and usage (guide rope, top rope, lead) a rope's length may contract by 5-10%. In extreme cases, this shrinkage may be even higher. To be able to guarantee the stated rope length, we cut the rope around 2.5% longer than specified!