| 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 | 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 |
| MIX | UEQ | SAT | FOF | EPR |
|---|---|---|---|---|
|
PizEAndSATO 0.1 |
| Entrant | System | 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 |