| 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 |
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.
| 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 |
| SHW-MIX | SHW-UEQ | SHW-SAT | SHW-FOF |
|---|---|---|---|
| PHERBY Octopus |