I'm going to give it an other try with BIOS 0902.

With BIOS 0803 and my G.SKILLS at 1117MHz it's a no go too.

I'm going to use BIOS 0902 again and see if I can get it stable with this BIOS at 8 X 450MHz and DDR 1199MHz with tRD 6. These are the clocks that I've been using with my G.SKILL F2-9600CL5D-4GBPI.

I'm thinking that there is a compatibility problem with these sticks and the ASUS Rampage Formula.

OverClocking or UnderClocking this memory seems to be impossible on the ASUS Rampage Formula.