Correct me if I'm wrong, the company will contribute 200% for the first 5% employee contribution. So for a $200k pilot:

$200k at 5% = $10000
200% of $10000 = $20000

That's the max. If said pilot contributes 10%, still gets $20k.