The 4.6GHz and 1.25 Vcore look just like my 4790K. Here's what mine came out with:
After you read through the guide Corsair Riker cited, try a starting point of 1.37Vcore for a target clock of 4.7GHz. That's what I needed. Caveat: All Haswells are different, so my experience isn't a guarantee for your CPU. A profile around 4.7GHz at 1.3xVcore is likely to put temperature in Realbench in the 80-85C range -- doable for stability testing, but not for 24/7 longevity. Daily use at that setting would depend on the load presented by the software you use.
I could get 4.8GHz stable but only with 1.5Vcore and only after delidding to stand the temperature of stability tests. That's a voltage level that isn't good for 24/7 longevity at any software load. I only use it when trying to push a benchmark.
Have fun working it all out.
Jeff