Destroying The Complete 2008 Proof Set Competition