| 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 |
| 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 |
| SHW-MIX | SHW-UEQ | SHW-SAT | SHW-FOF |
|---|---|---|---|
| Entrant | System | 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 |