>I know several programmers that are many times more productive than their peers, when compared to least-performing peers it's easily 10-20x. They make a little bit more, I'd guess 20-30%.

I'm not saying the system is perfect at identifying who's the 10x engineer and who's the bum. But once identified there is definitely a gap in pay roughly equivalent to the difference in production.