The CADE-16 ATP system competition
Sutcliffe, Geoff (2000) The CADE-16 ATP system competition. Journal of Automated Reasoning, 24 (3). pp. 371-396.
PDF (Published Version)
- Published Version
Restricted to Repository staff only
[Extract] The CADE-16 ATP System Competition (CASC-16) was held on Friday, 9 July 1999, as part of CADE-16 in Trento, Italy. CASC-16 was the fourth CADE ATP system competition, following the successful competitions at CADE-13 in 1996 (Sutcliffe and Suttner, 1997a), CADE-14 in 1997 (Suttner and Sutcliffe, 1998), and CADE-15 in 1998 (Sutcliffe and Suttner, 1999). CASC-16 evaluated the performance of fully automatic, first-order ATP systems. The evaluation was in terms of the number of problems solved and the average runtime for successful solutions. The evaluation was done in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (Sutcliffe and Suttner, 1998c) v2.2.1, and a specified time limit for each solution attempt. This paper documents the results of the competition.
|Item Type:||Article (Refereed Research - C1)|
|Keywords:||automated theorem proving; competition|
|Date Deposited:||26 Jul 2012 03:05|
|FoR Codes:||08 INFORMATION AND COMPUTING SCIENCES > 0806 Information Systems > 080608 Information Systems Development Methodologies @ 100%|
|SEO Codes:||89 INFORMATION AND COMMUNICATION SERVICES > 8999 Other Information and Communication Services > 899999 Information and Communication Services not elsewhere classified @ 100%|