The CADE-17 ATP System Competition

Systems and Entrants


System Version Divisions Entrant Institution Entry date Executable
(.gz or .tar.gz)
Sources
(.tar.gz)
Bliksem 1.10 MIX UEQ SAT FOF SEM Hans de Nivelle Max Planck Institut für Informatik 15/5/00 Executable Source
E 0.6 MIX UEQ Stephan Schulz Technische Universität München 28/3/00 Executable Source
E-SETHEO 2000csp MIX UEQ FOF SEM Stephan Schulz
(Reinhold Letz,
Gernot Stenz)
Technische Universität München 6/4/00 Executable Source
Gandalf c-2.1 MIX UEQ FOF SEM Tanel Tammet Tallinn Technical University 2/5/00 Executable Source
GandalfSat 1.0 SAT Tanel Tammet Computing Centre 6/5/00 Executable Source
HOTTER 0.1 Withdrawn Hantao Zhang University of Iowa 4/5/00
MACE 1.4 SAT William McCune
(Larry Wos,
Ross Overbeek,
Rusty Lusk)
Argonne National Laboratory 2/4/00 Executable Source
MUSCADET 2.2 FOF SEM Dominique Pastre Université René Descartes 27/4/00 Executable Source
Otter-MACE 437 SAT CASC-16 CASC 25/11/99 Executable Source
Otter 3.1 MIX UEQ FOF SEM William McCune
(Larry Wos,
Ross Overbeek,
Rusty Lusk)
Argonne National Laboratory 2/4/00 Executable Source
SCOTT 5.0.0 MIX UEQ FOF SEM Kahlil Hodgson
(John Slaney)
Australian National University 15/5/00 Executable Source
SCOTTSat 5.0.0 SAT Kahlil Hodgson
(John Slaney)
Australian National University 15/5/00 Executable Source
SPASS 1.00T FOF CASC-16 CASC 25/11/99 Executable Source
Vampire 0.0 MIX CASC-16 CASC 25/11/99 Executable Source
Vampire 1.0 MIX UEQ FOF SEM Alexandre Riazanov
(Andrei Voronkov)
The University of Manchester 24/4/00 Executable Source
Waldmeister 799 UEQ CASC-16 CASC 25/11/99 Executable Source
Waldmeister 600 UEQ Thomas Hillenbrand
(Bernd Loechner,
Andreas Jaeger,
Arnim Buch)
Universität Kaiserslautern 8/5/00 Executable Source


Systems in the Competition Divisions

MIX UEQ SAT FOF SEM
Bliksem 1.10
E 0.6
E-SETHEO 2000csp
Gandalf c-2.1
Otter 3.1
SCOTT 5.0.0
Vampire 0.0
Vampire 1.0
Bliksem 1.10
E 0.6
E-SETHEO 2000csp
Gandalf c-2.1
Otter 3.1
SCOTT 5.0.0
Vampire 1.0
Waldmeister 799
Waldmeister 600
Bliksem 1.10
GandalfSat 1.0
MACE 1.4
Otter-MACE 437
SCOTTSat 5.0.0
Bliksem 1.10
E-SETHEO 2000csp
Gandalf c-2.1
MUSCADET 2.2
Otter 3.1
SCOTT 5.0.0
SPASS 1.00T
Vampire 1.0
Bliksem 1.10
E-SETHEO 2000csp
Gandalf c-2.1
MUSCADET 2.2
Otter 3.1
SCOTT 5.0.0
Vampire 1.0

Systems in the Demonstration Divisions

SHW-MIX SHW-UEQ SHW-SAT SHW-FOF


Entrants' Contact Details

Entrant System Email Phone
Hans de Nivelle Bliksem 1.10 nivelle@mpi-sb.mpg.de +49 681 9325223
Thomas Hillenbrand Waldmeister 600 hillen@informatik.uni-kl.de -
Kahlil Hodgson SCOTT 5.0.0
SCOTTSat 5.0.0
kahlil@arp.anu.edu.au -
William McCune Otter 3.1
MACE 1.4
mccune@mcs.anl.gov +1 630 2523065
Dominique Pastre MUSCADET 2.2 pastre@math-info.univ-paris5.fr +33 1 44553562
Alexandre Riazanov Vampire 1.0 riazanov@cs.man.ac.uk +44 161 2756132
Stephan Schulz E 0.6
E-SETHEO 2000csp
schulz@infomatik.tu-muenchen.de +49 89 28927914
Tanel Tammet Gandalf c-2.1
GandalfSat 1.0
tammet@cc.ttu.ee +372 5524876
Hantao Zhang HOTTER 0.1 hzhang@cs.uiowa.edu +1 630 9793418