Destroying The Complete 2010 Proof Set Competition