| System | Version | Divisions | Entrants | Affiliation |
|---|---|---|---|---|
| CHewTPTP | 1.0 | CNF (demo) | Eric McGregor (Christopher Lynch) | Clarkson University |
| Darwin | 1.3 | EPR | CASC | CASC-21 EPR winner |
| E | 1.0pre | FOF FNT CNF SAT EPR UEQ LTB | Stephan Schulz | Technische Universität München |
| EP | 1.0pre | FOF* LTB* | Stephan Schulz | Technische Universität München |
| E-Darwin | 1.0 | CNF EPR | Björn Pelzer | University Koblenz-Landau |
| E-KRHyper | 1.1 | FOF FNT CNF SAT EPR | Björn Pelzer | University Koblenz-Landau |
| Equinox | 3.0 | FOF CNF UEQ | Koen Claessen | Chalmers University of Technology |
| Infinox | 0.1 | FNT SAT (demo) | Koen Claessen (Ann Lillieström) | Chalmers University of Technology |
| iProver | 0.5 | FOF FNT CNF SAT EPR LTB | Konstantin Korovin | The University of Manchester |
| MaLARea | 0.3 | LTB* | Josef Urban | Charles University in Prague |
| MetaProver | 1.0 | FNT SAT | Matthew Streeter (Koen Claessen & Niklas Sörensson, Hans de Nivelle, Alex Fuchs, Joe Hurd, Konstantin Korovin, Stephan Schulz) | Carnegie Mellon University |
| Metis | 2.1 | FOF* FNT* CNF SAT EPR UEQ | Joe Hurd | Galois, Inc. |
| Muscadet | 3.0 | FOF* LTB | Dominique Pastre | Université René Descartes Paris‑5 |
| OSHL-S | 0.1 | FOF FNT CNF EPR | Hao Xu (David Plaisted) | University of North Carolina at Chapel Hill |
| Otter | 3.3 | FOF CNF UEQ | CASC (William McCune) | CASC (Argonne National Laboratory) |
| Paradox | 1.3 | SAT | CASC | CASC-21 SAT winner |
| Paradox | 2.2 | FNT* | CASC | CASC-21 FNT* winner |
| Paradox | 3.0 | FNT* SAT EPR | Koen Claessen | Chalmers University of Technology |
| randoCoP | 1.1 | FOF* LTB* | Jens Otten (Thomas Raths) | University of Potsdam |
| SInE | 0.3 | LTB* | Krystof Hoder | Charles University in Prague |
| SInE-VD | 0.3 | LTB (demo) | Krystof Hoder | Charles University in Prague |
| Vampire | 8.1 | CNF | CASC | CASC-21 CNF winner |
| Vampire | 9.0 | FOF* | CASC | CASC-21 FOF* winner |
| Vampire | 10.0 | FOF* CNF EPR UEQ LTB* | Andrei Voronkov | University of Manchester |
| Waldmeister | 806 | UEQ | CASC | CASC-21 UEQ winner |
| Zenon | 0.5.0 | FOF* | Damien Doligez | INRIA |