The CADE ATP System Competition

Systems and Entrants

System Version Divisions Entrants Affiliation Entry date System Description Sample Solutions
Darwin CASC-J2 MIX SAT* EPR (demo) Alexander Fuchs
(Peter Baumgartner, Cesare Tinelli) 		Universität Koblenz-Landau, Germany 31/5/04 Description Samples
DCTP 1.3-EPR EPR CASC CASC-19 EPR winner 09/04/04 Description
-
DCTP 1.31 MIX SAT EPR Gernot Stenz
(Reinhold Letz) 		Technische Universität München 04/06/04 Description
-
DCTP 10.21p MIX FOF SAT EPR Gernot Stenz
(Reinhold Letz) 		Technische Universität München 04/06/04 Description
-
Dilemma 0.1 FOF* Magnus Björk Chalmers University of Technology 27/5/04 Description
-
E 0.82 MIX FOF UEQ Stephan Schulz Technische Universität München
and IRC/irst 		09/04/04 Description
-
EP 0.82 MIX* FOF* Stephan Schulz Technische Universität München
and IRC/irst 		09/04/04 Description Samples
E-SETHEO csp04 MIX FOF SAT EPR UEQ Gernot Stenz
(Stephan Schulz, Reinhold Letz) 		Technische Universität München 04/06/04 Description
-
Gandalf c-2.6-SAT SAT CASC CASC-19 SAT winner 09/04/04 Description
-
Mace2 2.2 SAT* William McCune Argonne National Laboratory 28/5/04 Description Samples
Mace4 2004-D SAT* William McCune Argonne National Laboratory 28/5/04 Description Samples
Octopus 2004 MIX* (demo) Monty Newborn
(Zongyan Wang) 		McGill University 27/5/04 Description Samples
Otter 3.3 MIX* FOF UEQ CASC
(William McCune) 		CASC
(Argonne National Laboratory) 		09/04/04 Description Samples
Paradox 1.0 SAT* CASC CASC-19 SAT winner 09/04/04 Description Samples
Paradox 1.1-casc SAT* EPR Koen Claessen
(Niklas Sörensson) 		Chalmers University of Technology 11/05/04 Description Samples
SOS 1.0 MIX* UEQ John Slaney
Arnold Binas, David Price 		Australian National University 28/5/04 Description Samples
THEO J2004 MIX* Monty Newborn McGill University 27/5/04 Description Samples
Vampire 5.0 FOF CASC CASC-19 FOF winner 09/04/04 Description
-
Vampire 6.0 MIX* CASC CASC-19 MIX winner 09/04/04 Description Samples
Vampire 7.0 MIX* FOF* EPR UEQ Andrei Voronkov
(Alexandre Riazanov) 		The University of Manchester 27/54/04 Description Samples
Waldmeister 702 UEQ CASC CASC-19 UEQ winner 09/04/04 Description
-
Waldmeister 704 UEQ Thomas Hillenbrand
(Bernd Löchner, Jean-Marie Gaillourdet) 		Max-Planck-Institut für Informatik (Technische Universität Kaiserslautern) 31/5/04 Description
-
MIX* indicates participation in the MIX division Proof class.
FOF* indicates participation in the FOF division Proof class.
SAT* indicates participation in the SAT division Model class.

Systems in the Competition Divisions

MIX FOF SAT EPR UEQ
Darwin CASC-J2
DCTP 1.31
DCTP 10.21p
E 0.82
EP 0.82*
E-SETHEO csp04
Otter 3.3*
SOS 1.0*
THEO J2004*
Vampire 6.0*
Vampire 7.0*
 DCTP 10.21p
Dilemma 0.1
E 0.82
EP 0.82*
E-SETHEO csp04
Otter 3.3
Vampire 5.0
Vampire 7.0*
 Darwin CASC-J2*
DCTP 1.31
DCTP 10.21p
E-SETHEO csp04
Gandalf c-2.6-SAT*
Mace2 2.2*
Mace4 2004-D*
Paradox 1.0*
Paradox 1.1-casc*
 Darwin CASC-J2
DCTP 1.3
DCTP 1.31
DCTP 10.21p
E-SETHEO csp04
Paradox 1.1-casc
Vampire 7.0
 E 0.82
E-SETHEO csp04
Otter 3.3
SOS 1.0
Vampire 7.0
Waldmeister 702
Waldmeister 704

Systems in the Demonstration Division

MIX FOF SAT EPR UEQ
Octopus 2004*
-
-
-
-

Entrants' Contact Details

Entrant System Email Phone T-Shirt
Magnus Björk Dilemma 0.1 mab@cs.chalmers.se +46 706 598093 Large
Koen Claessen Paradox 1.1-casc koen@cs.chalmers.se +46 31 7725424 Large
Alexander Fuchs Darwin CASC-J2 alexander.fuchs@uni-koblenz.de XLarge
Thomas Hillenbrand Waldmeister 704 hillen@mpi-sb.mpg.de +49 681 9325217 Large
William McCune Mace2 2.2
Mace4 20004-D 		mccune@mcs.anl.gov +1 630 2523065 Large
Monty Newborn Octopus 2004
THEO J2004 		newborn@cs.mcgill.ca +1 514 4877544 Large
Stephan Schulz E 0.82
EP 0.82 		schulz@informatik.tu-muenchen.de +39 0461 314331 XLarge
John Slaney SOS 1.0 John.Slaney@anu.edu.au +61 2 61258607 XLarge
Gernot Stenz DCTP 1.31
DCTP 10.21p
E-SETHEO csp04 		stenzg@in.tum.de +49 89 28917878 Large
Andrei Voronkov Vampire 7.0 voronkov@cs.man.ac.uk +44 161 2756116 XLarge