If you are running 4 memory modules, try taking 2 out and running 3dmark11.
CBA i gave up on it.To be honest mate it would have taken 5GHZ and 2400-2600 on the memory to break 10,000 as i saw a german chap on one of the overclocking forums just break 10k on his custom WC loop and his 3570k was at 5100mhz or so.
I think 12K is the new 10k this time.For the average joe like myself it can be a real bitch to break with a stable overclock.