The Asrock has a feature in the BIOS called Turbo50, allows you to select from 4, 4.2, 4.4, 4.6 and 4.8Ghz and the board sorts the rest out for you (but you will still have to check for stability using prime95 or Burntest)
The Sabertooth and the Asrock both have a 8 phases VRM setup for the CPU, the Gigbayte UD3P has 12 and the UD4 has 16 just for the CPU, more phases = better as they share the load and run cooler.
Overclocking also depends on the CPU, not all can manage 5GHz etc, but overclocking the UD4 with the same CPU as when I use to use a Asrock extreme4 got higher results. The Gigabytes also recover from bad overclocks better and dont need a clearCMOS as they have dualBIOS so it can go back to the last good settings and flashing the BIOS is painless, if theres a power cut while you do it, the second BIOS takes over and re-flashes the first.
Theres also a UK based RMA center in Milton Keynes with Gigabyte with a 5day average turnaround time, saves posting a board to another country.
Edit, one more thing is theres Load Line Calibration (LLC) on the Gigabyte boards, so you can set this between 1-10 and it combats the Vdroop or can increase Vcore on the higher settings (cant remember if the Asrock has this).