Your AS-SSD results indicate
msahci - OK, which means that you are using Microsoft's default AHCI drivers.
If you have an Intel CPU then install Intel's latest AHCI drivers.
https://downloadcenter.intel.com/Detail_Desc.aspx?DwnldID=22271
If you have an AMD CPU then install AMD's latest AHCI drivers.
http://support.amd.com/en-us/download/chipset?os=Windows 8 - 32
Also, the HyperX 3K uses a SandForce controller, so if you're looking for advertised Read/Write speeds then you probably need to benchmark with ATTO.
ATTO uses highly compressible data to test Read/Write speeds. Highly compressible data is the easiest type of data for any SSD to Read/Write.
AS-SSD uses highly incompressible data to test Read/Write speeds. Highly incompressible data is the hardest type of data for any SSD to Read/Write.