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.