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.12 MIX* UEQ FOF Hans de Nivelle Max Planck Institut für Informatik 25/5/01 Description Executable Source
DCTP 0.1 MIX SAT EPR Gernot Stenz
(Reinhold Letz)
Technische Universität München 11/5/01 Description Executable Source
E 0.6 MIX CASC-17 CASC 25/1/01 Description Executable Source
E 0.62 MIX UEQ EPR Stephan Schulz Technische Universität München 7/2/01 Description Executable Source
EP 0.62 MIX* Stephan Schulz Technische Universität München 26/5/01 Description Executable Source
E-SETHEO csp01 MIX SAT FOF EPR Gernot Stenz
(Reinhold Letz, Stephan Schulz)
Technische Universität München 11/5/01 Description Executable Source
Gandalf c-2.3 MIX UEQ EPR Tanel Tammet Tallinn Technical University and Safelogic 17/5/01 Description Executable Source
GandalfFOF c-2.3 FOF Tanel Tammet Tallinn Technical University 17/5/01 Description Executable Source
GandalfSat 1.0 SAT CASC-17 CASC 25/1/01 Description Executable Source
GandalfSat 1.1 SAT Tanel Tammet Tallinn Technical University 17/5/01 Description Executable Source
MACE 2.0 SAT William McCune
(Larry Wos, Bob Veroff)
Argonne National Laboratory 24/5/01 Description Executable Source
MUSCADET 2.3 FOF Dominique Pastre Université René Descartes 8/2/01 Description Executable Source
Otter 3.2 MIX* UEQ FOF William McCune
(Larry Wos, Bob Veroff)
Argonne National Laboratory 24/5/01 Description Executable Source
Otter-MACE 3.2-2.0 EPR William McCune
(Larry Wos, Bob Veroff)
Argonne National Laboratory 24/5/01 Description Executable Source
PizEAndSATO 0.1 EPR (Demo) Geoff Sutcliffe
(Stephan Schulz)
University of Miami
(Technische Universität München)
25/5/01 Description Executable Source
SCOTT 6 MIX* UEQ SAT FOF EPR John Slaney
(Kahlil Hodgson)
Australian National University 24/5/01 Description Executable Source
VampireFOF 1.0 FOF CASC-17 CASC 25/1/01 Description Executable Source
Vampire 2.0 MIX* UEQ Alexandre Riazanov
(Andrei Voronkov)
University of Manchester 25/5/01 Description Executable Source
VampireJC 2.0 MIX* Alexandre Riazanov
(Andrei Voronkov)
University of Manchester 25/5/01 Description Executable Source
VampireFOF 2.0 FOF Alexandre Riazanov
(Andrei Voronkov)
University of Manchester 25/5/01 Description Executable Source
VampireEPR 2.0 EPR Alexandre Riazanov
(Andrei Voronkov)
University of Manchester 25/5/01 Description Executable Source
Waldmeister 600 UEQ CASC-17 CASC 25/1/01 Description Executable Source
Waldmeister 601 UEQ Thomas Hillenbrand
(Bernd Löchner, Andreas Jaeger, Arnim Buch)
Max-Planck-Institut für Informatik Saarbrücken
(Universität Kaiserslautern)
18/5/01 Description Executable Source
MIX* indicates participation in the MIX division Proof class.


Systems in the Competition Divisions

MIX UEQ SAT FOF EPR
Bliksem 1.12
DCTP 0.1
E 0.6
E 0.62
EP 0.62
E-SETHEO csp01
Gandalf c-2.3
Otter-MACE 3.2-2.0
SCOTT 6
VampireJC 2.0
Vampire 2.0
Bliksem 1.12
E 0.62
Gandalf c-2.3
Otter-MACE 3.2-2.0
SCOTT 6
Vampire 2.0
Waldmeister 600
Waldmeister 601
DCTP 0.1
E-SETHEO csp01
GandalfSAT 1.1
GandalfSat 1.0
Otter-MACE 3.2-2.0
SCOTT 6
Bliksem 1.12
E-SETHEO csp01
GandalfFOF c-2.3
MUSCADET 2.3
Otter-MACE 3.2-2.0
SCOTT 6
VampireFOF 1.0
Vampire 2.0
DCTP 0.1
E 0.62
E-SETHEO csp01
Gandalf c-2.3
Otter-MACE 3.2-2.0
SCOTT 6
VampireEPR 2.0

Systems in the Demonstration Divisions

MIX UEQ SAT FOF EPR
PizEAndSATO 0.1


Entrants' Contact Details

Entrant System Email Phone
Hans de Nivelle Bliksem 1.12 nivelle@mpi-sb.mpg.de +49 681 9325223
Thomas Hillenbrand Waldmeister 601 hillen@mpi-sb.mpg.de +49 681 9325217
William McCune Otter-MACE 3.2-2.0 mccune@mcs.anl.gov +1 630 2523065
Dominique Pastre MUSCADET 2.3 pastre@math-info.univ-paris5.fr +33 1 44553562
Alexandre Riazanov Vampire CASC-JC
Vampire 2.0
riazanov@cs.man.ac.uk +44 161 2756132
Stephan Schulz E 0.62
CP 0.62
schulz@informatik.tu-muenchen.de +49 89 28927914
John Slaney SCOTT 6 jks@arp.anu.edu.au +61 2 61258607
Gernot Stenz DCTP 0.1 stenzg@in.tum.de +49 89 28927922
Geoff Sutcliffe PizEAndSATO 0.1 geoff@cs.miami.edu +1 305 2842158
Tanel Tammet Gandalf c-2.3 tanel@cs.ioc.ee +372 55 24876