The CADE-18 ATP System Competition
was held at
The 18th International Conference on Automated Deduction
Copenhagen, Denmark,
27-30 July 2002
as part of FLoC'02.
The CADE conferences are the major forum for the presentation of new research
in all aspects of automated deduction.
In order to stimulate ATP system development, and to expose ATP systems to
interested researchers, the CADE-18 ATP System Competition (CASC-18) was
held on 28th July 2002.
CASC evaluates the performance of sound, fully automatic, classical
1st order ATP systems.
The evaluation is in terms of:
- the number of problems solved, and
- the number of problems solved with a solution output, and
- the average runtime for problems solved;
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.
The competition organizers were
Geoff Sutcliffe and
Christian Suttner.
The competition was overseen by a panel of knowledgeable researchers who
were not participating in the event.
The panel members were
Alan Bundy,
John Harrison,
and
Jeff Pelletier.
If you have any questions about the competition, please
email the organizers.
| System registration for CASC-18 closed on 28th June 2002
|
Deadlines and Important Dates
Follow these links to:
Competition machines supplied by
Department of Computer Science,
University of Manchester
