http://www.perlmonks.org?node_id=513396


in reply to Re^3: Speed/Efficiency tweaks for a fannkuch benchmark script?
in thread Speed/Efficiency tweaks for a fannkuch benchmark script?

It also fails for $n == 3, where the answers should be 231 and 312, each of which take 2 steps.

So just do || @$copy <= 3, one might say; and indeed that would give the right answers. But how do we know it would give the right answers, except by comparing the output with the unoptimized version? Is it possible to prove that this is safe?