What we're trying to say is that the best board for YOU depends on what you want to do with it. Even what 'BEST' means is debatable.
All three are great high-end boards with good feature sets, none is cheap or junky.
The Extreme 7 has 3x M.2 slots. Useful if you want to use M.2, not so much if you don't.
The OC Formula has 18 power phases and supports a very robust overclock, and even extreme cooling solutions. Useful if you want it, not do much if you don't. (and has the 3x M.2 as well)
What is the Fatal1ty mouse port on the Professional worth to you?
What is the rest of the system you will be using it with?