| System | Divisions | Entrants | Affiliation |
|---|---|---|---|
| Ayane 2 | FOF FNT CNF EPR UEQ | Russell Wallace | Independent researcher |
| Currahee(E,iProver) 0.1 | LTB | Matthias Schmalz, (Jann Röder) | ETH Zurich |
| Darwin 1.4.5 | EPR | Peter Baumgartner | NICTA |
| E/EP 1.2pre | FOF FNT CNF EPR UEQ LTB | Stephan Schulz | Technische Universität München |
| E-Darwin 1.3 | FOF FNT CNF EPR | Björn Pelzer | Universität Koblenz-Landau |
| E-KRHyper 1.1.4 | FOF FNT CNF EPR | Björn Pelzer | Universität Koblenz-Landau |
| Equinox 5.0 | FOF FNT CNF EPR UEQ | Koen Claessen | Chalmers University |
| Geo 2010C | FOF FNT CNF EPR UEQ | Hans de Nivelle | Uniwersytetu Wroclawskiego |
| iProver 0.7 | EPR | CASC | CASC-22 EPR winner |
| iProver(‑SInE) 0.8 | FOF FNT CNF EPR UEQ LTB | Konstantin Korovin | University of Manchester |
| iProver‑Eq(‑SInE) 0.6 | FOF FNT CNF EPR UEQ LTB | Christoph Sticksel (Konstantin Korovin) | University of Manchester |
| Isabelle/HOL 2009-2 | THF | Jasmin Christian Blanchette (Larry Paulson, Tobias Nipkow, Makarius Wenzel, Stefan Berghofer) | Technische Universität München (University of Cambridge, Technische Universität München) |
| leanCoP(‑SInE) 2.2 | FOF LTB | Jens Otten, (Thomas Raths) | University of Potsdam |
| leanCoP-Ω 0.1 | TFA | Jens Otten, (Holger Trölenberg, Thomas Raths) | University of Potsdam |
| LEO-II 1.2 | THF FOF CNF | Christoph Benzmüller, (Frank Theiss) | Articulate Software |
| Metis 2.2 | FOF FNT CNF EPR UEQ | Joe Hurd | Galois, Inc. |
| MetiTarski 1.3 | TFA | Larry Paulson | University of Cambridge |
| Muscadet 4.0 | FOF | Dominique Pastre | University Paris Descartes |
| omkbTT 1.0 | UEQ | Sarah Winkler | University of Innsbruck |
| Otter 3.3 | FOF CNF UEQ | CASC (William McCune) | CASC (Argonne National Laboratory) |
| Paradox 3.0 | FNT | CASC | CASC-22 FNT winner |
| Paradox 4.0 | FNT EPR | Koen Claessen | Chalmers University |
| Satallax 1.4 | THF | Chad E. Brown, (Julian Backes, Gert Smolka) | Saarland University |
| SNARK 20080805r027 | TFA | Mark Stickel | SRI International |
| SPASS+T 2.2.12 | TFA | Uwe Waldmann (Stephan Zimmer) | Max Planck Institut für Informatik (AbsInt GmbH) |
| SPASS-XDB 3.01X0.6 | TFA | Geoff Sutcliffe (Martin Suda) | University of Miami Charles University in Prague |
| TPS 3.080227G1d | THF | Chad E. Brown (Peter B. Andrews) | Saarland University (Carnegie Mellon University) |
| Vampire 10.0 | CNF | CASC | CASC-22 CNF winner |
| Vampire 11.0 | FOF | CASC | CASC-22 FOF winner |
| Vampire‑LTB 11.0 | LTB | CASC | CASC-22 LTB winner |
| Vampire 0.6 | FOF CNF EPR UEQ LTB | Andrei Voronkov (Kryštof Hoder) | University of Manchester |
| Waldmeister C09a | UEQ | CASC | CASC-22 UEQ winner |
| Waldmeister 710 | UEQ | Thomas Hillenbrand | Max-Planck-Institut für Informatik |
| Zenon 0.6.3 | FOF | Damien Doligez | INRIA |