| System | Divisions | Entrant | Affiliation |
|---|---|---|---|
| agsyHOL 1.0 | THF | Fredrik Lindblad | University of Gothenburg |
| Beagle 0.9 | TFA | Peter Baumgartner | NICTA and ANU |
| cocATP 0.2.0 | THF | Cristóbal Camarero | University of Cantabria |
| Crossbow 0.1 | FNT | Radek Micek | Charles University in Prague |
| CVC4 1.4 | TFA FOF FNT | Andrew Reynolds | EPFL |
| E 1.9 | FOF FNT EPR UEQ | Stephan Schulz | DHBW Stuttgart |
| E.T. 0.1 | FOF | Josef Urban | Radboud University Nijmegen |
| HOLyHammer 140616 | THF | Cezary Kaliszyk | University of Innsbruck |
| iProver 0.9 | EPR | CASC | CASC-24 EPR winner |
| iProver 1.0 | FNT | CASC | CASC-24 FNT winner |
| iProver 1.4 | FOF FNT EPR (demo) | Konstantin Korovin | University of Manchester |
| Isabelle/HOL 2013 | THF | Jasmin Blanchette | Technische Universität ünchen |
| leanCoP 2.2 | FOF | Jens Otten | University of Potsdam |
| LEO-II 1.6.2 | THF | Christoph Benzmüller | Freie Universität Berlin |
| Muscadet 4.4 | FOF | Dominique Pastre | University Paris Descartes |
| Princess 140704 | TFA FOF | Philipp Rümmer | Uppsala University |
| Prover9 2009-11A | FOF | William McCune | CASC |
| Satallax 2.7 | THF | CASC | CASC-24 THF runner-up |
| Satallax_MaLeS 1.3 | THF | Daniel Kuehlwein | Radboud University Nijmegen |
| SPASS+T 2.2.19 | TFA | CASC | CASC-24 TFA winner |
| SPASS+T 2.2.20 | TFA | Uwe Waldmann | Max‑Planck‑Institut für Informatik |
| Vampire 2.6 | FOF | CASC | CASC-24 FOF winner |
| VanHElsing 1.0 | FOF | Daniel Kuehlwein | Radboud University Nijmegen |
| Waldmeister 710 | UEQ | CASC | CASC-23 UEQ winner |
| Zipperposition 0.4 | TFA FOF | Simon Cruanes | INRIA |