The CADE ATP System Competition

Systems and Entrants

System Version Divisions Entrant Institution Entry date System Description Executable
(.gz or .tar.gz) 		Sources
(.tar.gz)
Bliksem 1.12a MIX* UEQ FOF Hans de Nivelle Max Planck Institut für Informatik 4/7/02 Description Executable Source
CiME 2 UEQ Benjamin Monate
(Evelyne Contejean) 		LRI Universite Paris-Sud 28/6/02 Description Executable Source
DCTP 1.2 MIX Gernot Stenz Technische Universität München 29/6/02 Description Executable Source
DCTP 1.2-SAT SAT Gernot Stenz Technische Universität München 29/6/02 Description Executable Source
DCTP 1.2-EPR EPR Gernot Stenz Technische Universität München 29/6/02 Description Executable Source
DCTP 10.1p MIX FOF EPR Gernot Stenz Technische Universität München 29/6/02 Description Executable Source
DCTP 10.1p-SAT SAT Gernot Stenz Technische Universität München 29/6/02 Description Executable Source
E 0.7 MIX UEQ Stephan Schulz Technische Universität München and Safelogic A.B. 10/04/02 Description Executable Source
EP 0.7 MIX* Stephan Schulz Technische Universität München and Safelogic A.B. 10/04/02 Description Executable Source
E-SETHEO csp01 Withdrawn
(MIX FOF EPR) 		CASC-JC CASC 23/5/02 Description Executable Source
E-SETHEO csp02 MIX UEQ FOF EPR Gernot Stenz
(Reinhold Letz, Stephan Schulz) 		Technische Universität München 29/6/02 Description Executable Source
E-SETHEO csp02-SAT SAT Gernot Stenz
(Reinhold Letz, Stephan Schulz) 		Technische Universität München 29/6/02 Description Executable Source
EXLOG 2 MIX UEQ SAT FOF EPR (all Demo) Ivan Kossey Uzhgorod State University 5/3/02 Description Executable
Gandalf c-2.5 MIX UEQ Tanel Tammet Tallinn Technical University and Safelogic AB 27/6/02 Description Executable Source
Gandalf c-2.5-PROOF MIX* Tanel Tammet Tallinn Technical University and Safelogic AB 27/6/02 Description Executable Source
Gandalf c-2.5-SAT SAT EPR Tanel Tammet Tallinn Technical University and Safelogic AB 27/6/02 Description Executable Source
GandalfSat 1.0 SAT CASC-17 CASC 23/5/02 Description Executable Source
GrAnDe 1.1 EPR (Demo) Geoff Sutcliffe
Stephan Schulz 		University of Miami
Technische Universität München 		17/6/02 Description Executable Source
ICGNS 2002b SAT William McCune
(Olga Shumsky Matlin, Michael Rose) 		Argonne National Laboratory 13/6/02 Description Executable Source
Otter 3.2 MIX* UEQ FOF CASC-18
(William McCune) 		CASC
(Argonne National Laboratory) 		13/6/02 Description Executable Source
SCOTT 6.1 MIX* UEQ SAT FOF EPR John Slaney
(Kahlil Hodgson) 		Australian National University 28/6/02 Description Executable Source
Vampire 2.0-CASC MIX* CASC-JC CASC 23/5/02 Description Executable Source
Vampire 5.0 MIX* UEQ FOF EPR Andrei Voronkov
(Alexandre Riazanov) 		University of Manchester 27/6/02 Description Executable Source
Vampire 5.0-CASC MIX* Andrei Voronkov
(Alexandre Riazanov) 		University of Manchester 27/6/02 Description Executable Source
Waldmeister 601 UEQ CASC-JC CASC 23/5/02 Description Executable Source
Waldmeister 702 UEQ Thomas Hillenbrand
(Bernd Löchner) 		Max-Planck-Institut für Informatik Saarbrücken
(Universität Kaiserslautern) 		29/6/02 Description Executable Source
MIX* indicates participation in the MIX division Proof class.

Systems in the Competition Divisions

MIX UEQ SAT FOF EPR
Bliksem 1.12a
DCTP 1.2
DCTP 10.1p
E 0.7
EP 0.7*
E-SETHEO csp02
Gandalf c-2.5
Gandalf c-2.5-PROOF*
Otter 3.2*
SCOTT 6.1*
Vampire 2.0-CASC*
Vampire 5.0*
Vampire 5.0-CASC*
 Bliksem 1.12a
CiME 2
E 0.7
E-SETHEO csp02
Gandalf c-2.5
Otter 3.2
SCOTT 6.1
Vampire 5.0
Waldmeister 601
Waldmeister 702
 DCTP 1.2-SAT
DCTP 10.1p-SAT
E-SETHEO csp02-SAT
ICGNS 2002
Gandalf c-2.5-SAT
GandalfSat 1.0
SCOTT 6.1
 Bliksem 1.12a
DCTP 10.1p
E-SETHEO csp02
Otter 3.2
SCOTT 6.1
Vampire 5.0
 DCTP 1.2-EPR
DCTP 10.1p
E-SETHEO csp02
Gandalf c-2.5-SAT
SCOTT 6.1
Vampire 5.0

Systems in the Demonstration Divisions

MIX UEQ SAT FOF EPR
EXLOG 2
 EXLOG 2
 EXLOG 2
 EXLOG 2
 EXLOG 2
GrAnDe 1.1

Entrants' Contact Details

Entrant System Email Phone
Hans de Nivelle Bliksem nivelle@mpi-sb.mpg.de +49 681 9325223
Thomas Hillenbrand Waldmeister hillen@mpi-sb.mpg.de +49 681 9325217
Ivan Kossey EXLOG Ivan.Kossey@t-online.de +49 8031 357569
William McCune ICGNS mccune@mcs.anl.gov +1 630 2523065
Benjamin Monate CiME monate@lri.fr +33 1 69154232
Stephan Schulz E, EP, GrAnDe schulz@informatik.tu-muenchen.de +49 89 28927914
John Slaney SCOTT John.Slaney@anu.edu.au +61 2 61258607
Gernot Stenz E-SETHEO, DCTP stenzg@in.tum.de +49 89 28927922
Geoff Sutcliffe GrAnDe geoff@cs.miami.edu +1 305 2842158
Tanel Tammet Gandalf tammet@staff.ttu.ee +372 55 24876
Andrei Voronkov Vampire voronkov@cs.man.ac.uk +44 161 2756116