| System Version | Divisions | Entrant (Associates) | Entrant's Affiliation |
|---|---|---|---|
| ATPBoost 1.0 | LTB (demo) | Bartosz Piotrowski | University of Warsaw, Czech Technical University in Prague |
| CSE 1.3 | FOF | Feng Cao | Southwest Jiaotong University |
| CSE_E 1.2 | FOF | Feng Cao | Southwest Jiaotong University |
| CVC4 1.8 | THF TFA FOF FNT | Andrew Reynolds | University of Iowa |
| E 2.4 | UEQ | CASC | CASC-27 winner |
| E 2.5 | FOF FNT UEQ LTB | Stephan Schulz | DHBW Stuttgart |
| Enigma 0.5.1 | FOF | Jan Jakubuv | Czech Technical University in Prague |
| Etableau 0.2 | FOF UEQ | John Hester | University of Florida |
| GKC 0.5 | FOF UEQ LTB | Tanel Tammet | Tallinn University of Technology |
| iProver 3.3 | FOF FNT UEQ LTB | Konstantin Korovin | University of Manchester |
| lazyCoP 0.1 | FOF UEQ | Michael Rawson | University of Manchester |
| leanCoP 2.2 | FOF | Jens Otten | University of Oslo |
| LEO-II 1.7.0 | THF | Alexander Steen | University of Luxembourg |
| Leo-III 1.4 | LTB | CASC | CASC-27 winner |
| Leo-III 1.5 | THF LTB | Alexander Steen | University of Luxembourg |
| MaLARea 0.9 | LTB (demo) | Josef Urban | Czech Technical University in Prague |
| Prover9 1109a | FOF (demo) | CASC | CASC fixed point |
| PyRes 1.3 | FOF FNT | Stephan Schulz | DHBW Stuttgart |
| Satallax 3.4 | THF | CASC | CASC-27 winner |
| Satallax 3.5 | THF | Michael Färber | Inria, LSV, ENS Paris-Saclay |
| Twee 2.2.1 | FOF UEQ | Nick Smallbone | Chalmers University of Technology |
| Vampire 4.4 | TFA FOF FNT | CASC | CASC-27 winner |
| Vampire 4.5 | THF TFA FOF FNT UEQ | Giles Reger | University of Manchester |
| Zipperposition 2.0 | THF FOF LTB | Petar Vukmirovic | Vrije Universiteit Amsterdam |