Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Sutcliffe, G. and Suttner, C. B.: The results of the CADE-13 ATP system competition, Journal of Automated Reasoning 18(2) (1997).
Suttner, C. B. and Sutcliffe, G.: The TPTP Problem Library (TPTP v1.2.1), Technical Report AR-96-02, Institut für Informatik, Technische Universität München, Munich, Germany, 1996; Technical Report 96/09, Department of Computer Science, James Cook University, Townsville, Australia, 1996.
Suttner, C. B. and Sutcliffe, G.: The design of the CADE-13 ATP system competition, Journal of Automated Reasoning 18(2) (1997).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sutcliffe, G., Suttner, C. The Procedures of the CADE-13 ATP System Competition. Journal of Automated Reasoning 18, 163–169 (1997). https://doi.org/10.1023/A:1005858625038
Issue Date:
DOI: https://doi.org/10.1023/A:1005858625038