| System | Divisions | Entrants | Affiliation |
|---|---|---|---|
| CVC4 0.0 | FNT EPR | Andrew Reynolds (Cesare Tinelli, Clark Barrett) | University of Iowa |
| E-Darwin 1.5 | FOF FNT EPR | Björn Pelzer | University Koblenz-Landau |
| E-KRHyper 1.3 | FOF FNT EPR LTB | Björn Pelzer | University Koblenz-Landau |
| E-MaLeS 1.1 | FOF LTB | Daniel Kuehlwein (Josef Urban, Stephan Schulz) | Radboud University Nijmegen |
| EP 1.4pre | FOF | CASC | CASC-23 CNF winner |
| EP 1.6pre | FOF FNT EPR LTB | Stephan Schulz | Technische Universität München |
| FIMO 0.3 | FNT | Orkunt Sabuncu | University of Potsdam |
| iProver 0.9 | EPR | CASC | CASC-23 EPR winner |
| iProver 0.99 | FOF FNT EPR LTB | Konstantin Korovin (Christoph Sticksel) | University of Manchester |
| iProver-Eq 0.8 | FOF FNT EPR LTB | Christoph Sticksel (Konstantin Korovin) | University of Manchester |
| Isabelle 2012 (-HOT - demo) | THF | Jasmin Blanchette (Lawrence Paulson, Tobias Nipkow, Makarius Wenzel) | Technische Universität München |
| leanCoP-ARDE 2.2 | LTB | Mario Frank (Thomas Raths, Jens Otten) | University of Potsdam |
| LEO-II 1.4 | THF FOF | Christoph Benzmüller | Free University Berlin |
| Muscadet 4.2 | FOF | Dominique Pastre | University Paris Descartes |
| Nitrox 2012 | FNT | Jasmin Blanchette (Emina Torlak) | Technische Universität München |
| Paradox 3.0 | FTT FNT | CASC | CASC-23 FNT winner |
| Princess 2012-06-04 | TFA FOF | Philipp Ruemmer (Aleksandar Zeljic) | Uppsala University |
| Prover9 2009-11A | FOF | CASC (William McCune, Bob Veroff) | CASC (University of New Mexico) |
| Satallax 2.1 | THF | CASC | CASC-23 THF winner |
| Satallax 2.4 | THF | Chad Brown | Saarland University |
| SPASS+T 2.2.14 | TFA | CASC | CASC-23 TFA winner |
| SPASS+T 2.2.16 | TFA | Uwe Waldmann (Stephan Zimmer) | Max-Planck-Institut für Informatik |
| STP 1.0 | FOF | Adam Pease (Stephan Schulz) | Articulate Software |
| SuperZenon 0.0.1 | FOF | David Delahaye (Mélanie Jacquel) | CEDRIC/CNAM |
| TPS 3.120601S1b | THF | Chad E. Brown (Peter Andrews) | Saarland University |
| Vampire 0.6 | FOF | CASC | CASC-23 FOF winner |
| Vampire-LTB 1.8 | LTB | CASC | CASC-23 LTB winner |
| Vampire 2.6 | FOF FNT EPR LTB | Krystof Hoder (Andrei Voronkov, Laura Kovacs) | University of Manchester |
| Zenon 0.7.1 | FOF | Damien Doligez | INRIA |