The Procedures of the CADE-13 ATP System Competition

This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.

[1]  Geoff Sutcliffe,et al.  The Design of the CADE-13 ATP System Competition , 1996, CADE.

[2]  Geoff Sutcliffe,et al.  The CADE-13 ATP System Competition , 2004, Journal of Automated Reasoning.

[3]  Geoff Sutcliffe,et al.  The TPTP Problem Library , 1994, Journal of Automated Reasoning.

[4]  Geoff Sutcliffe,et al.  The TPTP Problem Library , 1994, CADE.

[5]  Geoff Sutcliffe,et al.  The Results - of the CADE-13 ATP System Competition , 2004, Journal of Automated Reasoning.