The CADE-15 ATP System Competition

@article{Sutcliffe2004TheCA,
  title={The CADE-15 ATP System Competition},
  author={Geoff Sutcliffe and Christian B. Suttner},
  journal={Journal of Automated Reasoning},
  year={2004},
  volume={23},
  pages={1-23}
}
The results of the CADE-15 ATP System Competition (CASC-15) are presented. 
The IJCAR ATP System Competition
The results of the IJCAR ATP System Competition are presented.
The CADE ATP System Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-19 was the eighth competition in the CASC series.
The CADE-18 ATP System Competition (CASC-18)
In order to stimulate ATP system development, and to expose ATP systems to interested researchers, the CADE-18 ATP System Competition (CASC-18) will be held on 28th July 2002. CASC evaluates the
The CADE-19 ATP System Competition (CASC-19)
In order to stimulate ATP system development, and to expose ATP systems to interested researchers, the CADE-19 ATP System Competition (CASC-19) will be held on 31st July 2003. CASC evaluates the
Proceedings of CASC-26 – the CADE-26 ATP System Competition
TLDR
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library and other useful sources of test problems, and specified time limits on solution attempts.
The CADE-22 ATP System Competition (CASC-22)
TLDR
The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and a specified time limit for each solution attempt.
Proceedings of the CADE-25 ATP System Competition CASC-25
TLDR
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts.
Proceedings of the CADE-23 ATP System Competition CASC-23
TLDR
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts.
Proceedings of the CADE-24 ATP System Competition CASC-24
TLDR
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts.
CASC-J4 The 4th IJCAR ATP System Competition
TLDR
CASC-J4 was held on 13th August 2008, as part of the 4th International Joint Conference on Automated Reasoning, in Sydney, Australia, and was the thirteenth competition in the CASC series.
...
...

References

SHOWING 1-10 OF 147 REFERENCES
The CADE-14 ATP System Competition
This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).
The IJCAR ATP System Competition
The results of the IJCAR ATP System Competition are presented.
The Results - of the CADE-13 ATP System Competition
TLDR
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, and some analysis of these results is given.
Conclusions about the CADE-13 ATP System Competition
TLDR
The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems, and an overview of the major issues that will affect future competitions is given.
The Procedures of the CADE-13 ATP System Competition
TLDR
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.
The CADE-19 ATP System Competition
TLDR
The CADE ATP System Competition is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems to stimulate ATP research in general, and to motivate implementation and fixing of systems.
The Design of the CADE-13 ATP System Competition
TLDR
The motivations for running the CADE-13 ATP System Competition were to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to researchers both within and outside the ATP community.
The CADE-20 Automated Theorem Proving Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-20 was the tenth competition in the CASC series. Seventeen ATP
The IJCAR-2004 Automated Theorem Proving Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems - the world championship for such systems. CASC-J2 was the ninth
Otter - The CADE-13 Competition Incarnations
TLDR
The two incarnations of Otter entered in the CADE-13 Automated Theorem Proving System Competition are discussed, with some historical background and a summary of applications that have led to new results in mathematics and logic.
...
...