The CADE-15 ATP System Competition

Entrants List


System Version Divisions Entrant Institution Entry date
AI-SETHEO MIX Joachim Draeger Technische Universität München 7/5/98
ANDP Withdrawn Dafa Li Tsinghua University 11/3/98
Bliksem 1.00 Disqualified Hans de Nivelle CWI Amsterdam 26/5/98
DISCOUNT/TSM 2.1 UEQ Stephan Schulz
(Felix Brandt)
Technische Universität München 5/6/98
E 0.1 MIX UEQ Stephan Schulz Technische Universität München 5/6/98
Gandalf c-1.9c MIX UEQ Tanel Tammet University of Göteborg 18/5/98
HERBY 1.0 MIX Mohammed Almulla
(Monty Newborn)
Kuwait University 25/5/98
MACE 1.3.2 SAT William McCune
(Larry Wos,
Ross Overbeek,
Rusty Lusk)
Argonne National Laboratory 12/5/98
Octopus SHW-MIX Monty Newborn McGill University 8/5/98
Otter 3.0.5 MIX UEQ FOF William McCune
(Larry Wos,
Ross Overbeek,
Rusty Lusk)
Argonne National Laboratory 12/5/98
PHERBY 1.0 SHW-MIX Mohammed Almulla
(Monty Newborn)
Kuwait University 25/5/98
p-SETHEO MIX Andreas Wolf
(Reinhold Letz,
Gernot Stenz)
Technische Universität München 13/5/98
Satchmo Functional SAT Tim Geisler
(Sven Panne)
Universität München 8/6/98
SCOTT v3.1.0 MIX UEQ Kal Hodgson
(John Slaney)
Australian National University 5/6/98
SPASS 0.95TPTP MIX UEQ SAT FOF Christoph Weidenbach
(Harald Ganzinger,
Christoph Meyer)
Max-Planck-Institut
für Informatik
11/5/98
TGTP MIX Monty Newborn McGill University 8/5/98
Vampire Withdrawn Andrei Voronkov
(Alexander Ryazanov)
Uppsala University 13/2/98
Waldmeister 798 UEQ Thomas Hillenbrand
(Andreas Jaeger,
Bernd Loechner,
Arnim Buch)
Universität Kaiserslautern 18/5/98

Entrants' contact details

A fifteenth system, Bliksem 1.00, also ran on the day of the competition. However, despite passing the soundness testing, in more extensive testing after the competition it was discovered that Bliksem 1.00 is unsound. Bliksem 1.00 was hence disqualified.


Entrants in the Competition Divisions

MIX UEQ SAT FOF
AI-SETHEO
Bliksem
E
Gandalf
HERBY
Otter
p-SETHEO
SCOTT
SPASS
TGTP
Bliksem
DISCOUNT/TSM
E
Gandalf
Otter
SCOTT
SPASS
Waldmeister
Bliksem
MACE
Satchmo
SPASS
Bliksem
Otter
SPASS

Entrants in the Demonstration Divisions

SHW-MIX SHW-UEQ SHW-SAT SHW-FOF
PHERBY
Octopus