CADE-15 ATP system competition

G. Sutcliffe, C. B. Suttner

Research output: Contribution to journalArticlepeer-review

13 Scopus citations


The CADE-15 ATP System Competition (CASC-15) held on July 7,1998 as part of CADE-15 in Lindau, Germany was the third CADE automated theorem proving (ATP) system competition. CASC-15 evaluated the performance of sound, fully automatic first-order ATP systems in terms of the number of problems solved and the average runtime for successful solutions, in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (SS98c) and a specified time limit for each solution attempt. Fourteen ATP systems competed in the various competition and demonstration divisions.

Original languageEnglish (US)
Pages (from-to)1-23
Number of pages23
JournalJournal of Automated Reasoning
Issue number1
StatePublished - Jan 1 1999
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'CADE-15 ATP system competition'. Together they form a unique fingerprint.

Cite this