100 mm cranks vs 152 mm

Some time ago we had a respective discussion in the German forum (see here). For that specific setup (36", gearing ratio 1:1, 152mm cranks vs. 100mm cranks) the resulting formula suggests the 100mm cranks being 8% faster than the 152mm cranks.