I don't think better efficiency is proven for any type of pedal, so we go on faith. I just happen to prefer clipping in. You have to try to decide for yourself.

And efficiency isn't necessarily the most important question. Especially for racers, they want to put out maximum power, even if it costs efficiency, at least in races that aren't very long.