Title: Model Checking Failed Conjectures in Theorem Proving