The CADE-16 ATP system competition

Sutcliffe, Geoff (2000) The CADE-16 ATP system competition. Journal of Automated Reasoning, 24 (3). pp. 371-396.

[img] PDF (Published Version) - Published Version
Restricted to Repository staff only

View at Publisher Website:


[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 ID: 12900
Item Type: Article (Research - C1)
ISSN: 1573-0670
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%
Downloads: Total: 4
More Statistics

Actions (Repository Staff Only)

Item Control Page Item Control Page