CMX4GX3M2A1600C7 is listed for the ASUS P7P55D-E Pro
1600 7-8-7-20-2T 1.65vhttp://www.corsair.com/configurator/product_results.aspx?id=1330436
F3-12800CL7D-4GBECO is listed for the ASUS P7P55D-E Pro
1600 7-8-7-24-2N 1.35vhttp://gskill.com/configurator2.php?pid=2&model=1329
Just NEVER mix them on the SAME MOBO together, and both are average. Both sets are relatively close but my guess is the Corsair is slightly faster - neither is a good OC set.
For another few bucks I would recommend the following Corsair set that I know is both faster and OC's very well. It also has a 2X4GB sister that is also an excellent choice.
1600 8-8-8-24-2T 1.65v