| System Version | Divisions | Entrant | Entrant's Affiliation |
|---|---|---|---|
| CSE 1.5 | FOF | Feng Cao | JiangXi University of Science and Technology |
| CSE_E 1.4 | FOF | Peiyao Liu | Southwest Jiaotong University |
| cvc5 1.0 | THF TFA FOF FNT SLH | Andrew Reynolds | University of Iowa |
| Drodi 3.3.3 | FOF UEQ | Oscar Contreras | Amateur Programmer |
| E 3.0 | THF FOF FNT UEQ SLH LTB | Stephan Schulz | DHBW Stuttgart |
| Ehoh 2.7 | SLH | CASC | CASC-28 winner |
| Etableau 0.67 | FOF | John Hester | Imandra |
| GKC 0.7 | FOF UEQ | Tanel Tammet | Tallinn University of Technology |
| Goéland 1.0.0 | FOF | Julie Cailler | Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier |
| iProver 3.6 | TFA FOF FNT UEQ LTB | Konstantin Korovin | University of Manchester |
| Lash 1.12 | THF | Cezary Kaliszyk | University of Innsbruck |
| LEO-II 1.7.0 | THF | Alexander Steen | University of Greifswald |
| Leo-III 1.7.0 | THF | Alexander Steen | University of Greifswald |
| Prover9 1109a | FOF (demo) | CASC | CASC |
| Satallax 3.4 | THF | Cezary Kaliszyk | University of Innsbruck |
| SnakeForV4.7 1.0 | TFA FOF FNT UEQ (demo) | Martin Suda | Czech Technical University |
| Toma 0.2 | UEQ | Teppei Saito | Japan Advanced Institute of Science and Technology |
| Twee 2.4 | UEQ | CASC | CASC-28 winner |
| Twee 2.4.1 | UEQ | Nick Smallbone | Chalmers University of Technology |
| Vampire 4.5 | TFA | CASC | CASC-J10 winner |
| Vampire 4.6 | FOF FNT LTB | CASC | CASC-28 winner |
| Vampire 4.7 | THF TFA FOF FNT UEQ SLH LTB | Giles Reger | University of Manchester |
| Zipperposition 2.1 | THF | CASC | CASC-28 winner |
| Zipperposition 2.1.999 | THF FOF SLH (demo) | Jasmin Blanchette | Vrije Universiteit Amsterdam |