The Results - of the CADE-13 ATP System Competition

Authors:
Geoff Sutcliffe;Christian Suttner
Affiliations:
Department of Computer Science, James Cook University, Townsville, Australia. e-mail: geoff@cs.jcu.edu.au;Institut für Informatik, TU München, München, Germany. e-mail: suttner@informatik.tu-muenchen.de
Venue:
Journal of Automated Reasoning
Year:
1997

Citing 4
Cited 6

The CADE-13 ATP System Competition

Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition

Journal of Automated Reasoning
The Procedures of the CADE-13 ATP System Competition

Journal of Automated Reasoning
The TPTP Problem Library

CADE-12 Proceedings of the 12th International Conference on Automated Deduction

Deep Blue's contribution to AI

Annals of Mathematics and Artificial Intelligence
LINUS - A Link Instantion Prover with Unit Support

Journal of Automated Reasoning
Otter - The CADE-13 Competition Incarnations

Journal of Automated Reasoning
Conclusions about the CADE-13 ATP System Competition

Journal of Automated Reasoning
Requirement-Based Cooperative Theorem Proving

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Cooperation between top-down and bottom-up theorem provers

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

The CADE-13 ATP System Competition tested 18 ATP systems on 50 theorems, in five competition categories, with a time limit of 300 seconds imposed on each system run. This article records the results of the competition. Some analysis of these results is given, and interesting points are highlighted.