What does Windows report your clockspeed as? Open the Task Manager, and look at the Performance Tab. It will list your Processor name with its default clock, and also show both your current speed, and your max speed. Since you have the 8700K model, you should also check if the Overclocking settigns in Alienware Command Center are setting at that speed. Good luck!