I used the following 3 test files to test your theorem provers. The points breakdown was 4 points for turning something in, 5 points if it ran at all, 7 points if it handled the first test file well, 9 points for the second, and full credit if it handled all three files well. Enjoy.

Test file 1

Test file 2

Test file 3