| System | Version | Divisions | Entrant | Institution | Entry date | Executable (.gz or .tar.gz) | Sources (.tar.gz) |
|---|---|---|---|---|---|---|---|
| Bliksem | 1.10 | MIX UEQ SAT FOF | Hans de Nivelle | Max-Planck-Institut für Informatik | 6/3/99 | Executable | Sources |
| E | 0.5 | MIX UEQ | Stephan Schulz | TU München | 22/3/99 | Executable | Sources |
| E-SETHEO(-FLOTTER) | 99csp | MIX UEQ SAT | Reinhold Letz (Stephan Schulz, Gernot Stenz, Andreas Wolf) | TU München | 3/6/99 | Executable | Sources |
| FDP | 0.9 | MIX SAT | Peter Baumgartner | University of Koblenz-Landau | 6/6/99 | Executable | Sources |
| Fiesta | 2 | UEQ | Robert Nieuwenhuis (Pilar Nivela, Guillem Godoy) | Technical University of Catalonia | 7/6/99 | Executable | Sources |
| HORN-Fiesta | 1 | Withdrawn | Robert Nieuwenhuis (Pilar Nivela) | Technical University of Catalonia | 7/6/99 | ||
| Gandalf | c-1.8c | MIX | CASC-15 | CASC-15 | 1/10/98 | Executable | Sources lost after CASC-15 |
| Gandalf | c-2.0 | MIX UEQ | Tanel Tammet | Tallinn Technical University / University of Göteborg | 7/6/99 | Executable | Sources |
| HOTTER & MHOTTER | 0.0 | Disqualified | Hantao Zhang (Bill McCune) | University of Iowa | 4/6/99 | ||
| MUSCADET | 2.1 | FOF | Dominique Pastre | Universite Rene Descartes | 13/4/99 | Executable | Sources |
| OtterMACE | 437 | MIX UEQ SAT FOF | William McCune | Argonne National Laboratory | 27/5/99 | Executable | Sources |
| SCOTT | 4.6.4 | MIX UEQ | Kahlil Hodgson (John Slaney) | Australian National University | 6/6/99 | Executable | Sources |
| SPASS | 0.95T | SAT FOF | CASC-15 | CASC-15 | 1/10/98 | Executable | Sources |
| SPASS | 1.00T | MIX UEQ SAT FOF | Christoph Weidenbach (Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Georg Jung, Enno Keen, Christian Theobalt, Dalibor Topic) | Max-Planck-Institut für Informatik | 6/6/99 | Executable | Sources |
| SSCPA | 1999.6 | SHWMIX SHWUEQ SHWSAT SHWFOF | Geoff Sutcliffe | James Cook University | 7/6/99 | Sources are executable (perl scripts) | Sources |
| Vampire | 0.0 | MIX | Alexandre Riazanov (Andrei Voronkov) | University of Manchester | 27/5/99 | Executable | Sources |
| Waldmeister | 798 | UEQ | CASC-15 | CASC-15 | 1/10/98 | Executable | Sources |
| Waldmeister | 799 | UEQ | Thomas Hillenbrand (Bernd Loechner, Andreas Jaeger, Arnim Buch) | Universität Kaiserslautern | 31/5/99 | Executable | Sources |
| MIX | UEQ | SAT | FOF |
|---|---|---|---|
|
Bliksem 1.10 E 0.5 E-SETHEO 99csp FDP 0.9 Gandalf c-1.8c Gandalf c-2.0 OtterMACE 437 SCOTT 4.6.4 SPASS 1.00T Vampire 0.0 |
Bliksem 1.10 E 0.5 E-SETHEO 99csp Fiesta 2 Gandalf c-2.0 OtterMACE 437 SCOTT 4.6.4 SPASS 1.00T Vampire 0.0 Waldmeister 798 Waldmeister 799 |
Bliksem 1.10 E-SETHEO 99csp FDP 0.9 OtterMACE 437 SPASS 0.95T SPASS 1.00T |
Bliksem 1.10 E-SETHEO-FLOTTER 99csp MUSCADET 2.1 OtterMACE 437 SPASS 0.95T SPASS 1.00T |
| SHW-MIX | SHW-UEQ | SHW-SAT | SHW-FOF |
|---|---|---|---|
|
SSCPA 1999.6 |
SSCPA 1999.6 |
SSCPA 1999.6 |
SSCPA 1999.6 |