| ATP System | Divisions | Entered by | Institution | Entry date |
|---|---|---|---|---|
| Allpaths | MIX | Joe Horton (Scott Buffet) | U. New Brunswick | 11/05/97 |
| DISCOUNT-TSM | UEQ | Stephan Schulz | TU München | 02/04/97 |
| Fiesta | UEQ | Robert Nieuwenhuis (Pilar Nivela Jose Miguel Rivero Miguel Angel Vallejo) | TU Catalonia | 16/05/97 |
| Gandalf | MIX UEQ | Tanel Tammet | U. Göteborg | 12/03/97 |
| I-THOP | MIX | Koji Iwanuma | Yamanashi U. | 14/05/97 |
| MACE-1.2 | SAT | William McCune | Argonne National Laboratory | 26/06/97 |
| OCTOPUS | MIX(SH) | Monty Newborn | McGill U. | 08/04/97 |
| OSCAR | FOF(SH) | John Pollock | U. Arizona | 02/07/97 |
| Otter-3.0.5 | MIX UEQ FOF | William McCune (Rusty Lusk Ross Overbeek Larry Wos) | Argonne National Laboratory | 02/05/97 |
| PROTEIN | MIX | Peter Baumgartner | U. Koblenz | 07/07/97 |
| RRTP | MIX | M. Paramasivam (David Plaisted) | U. North Carolina | 12/06/97 |
| SCOTT | MIX | John Slaney (Kahlil Hodgson) | Australian National U. | 09/05/97 |
| SETHEO | MIX | Ortrun Ibens | TU München | 06/05/97 |
| P-SETHEO | MIX | Ortrun Ibens | TU München | 06/05/97 |
| SPASS 1.0 | MIX UEQ SAT FOF | Christoph Weidenbach | MPI Saarbrücken | 14/05/97 |
| TGTP | MIX | Monty Newborn | McGill U. | 08/04/97 |
| THINKER | FOF | Jeff Pelletier (Julian Fogel) | U. Alberta | 13/06/97 |
| Waldmeister | UEQ | Arnim Buch Thomas Hillenbrand | U. Kaiserslautern | 11/11/96 |
| MIX | UEQ | SAT |
|---|---|---|
| Allpaths Gandalf I-THOP Otter-3.0.5 PROTEIN RRTP SCOTT SETHEO P-SETHEO SPASS 1.0 TGTP | DISCOUNT-TSM Fiesta Gandalf Otter-3.0.5 SPASS 1.0 Waldmeister | MACE SPASS 1.0 |
| MIX | UEQ | SAT | FOF |
|---|---|---|---|
| OCTOPUS | - | - | OSCAR Otter-3.0.5 SPASS 1.0 THINKER |