This is the FTP Directory associated with the paper

                  33 BASIC TEST PROBLEMS:
 A PRACTICAL EVALUATION OF SOME PARAMODULATION STRATEGIES

                          by                         
                       W. McCune


Available are

1. Database of Experimental Results
2. EQP Source Code (sorry, there is very little documentation)
3. Non-AC input files
4. AC input files
5. Input files and proofs for the 2 Robbins lemmas.

All input files are set up for the strategy "all-pair-4" (see the paper).