| System | Divisions | Entrant | Affiliation |
|---|---|---|---|
| CSE 1.0 | FOF | Feng Cao | Southwest Jiaotong University |
| CSE 1.1 | FOF | Feng Cao | Southwest Jiaotong University |
| CSE_E 1.0 | FOF | Feng Cao | Southwest Jiaotong University |
| CVC4 1.6pre | TFA FOF FNT | Andrew Reynolds | University of Iowa |
| E 2.2pre | FOF FNT EPR LTB | Stephan Schulz | DHBW Stuttgart |
| Geo-III 2018C | FOF FNT EPR | Hans de Nivelle | Nazarbayev University |
| Grackle 0.1 | LTB | Jan Jakubuv | Czech Technical University |
| iProver 2.6 | EPR (demo) | CASC | CASC-26 winner |
| iProver 2.8 | FOF FNT EPR LTB | Konstantin Korovin | The University of Manchester |
| leanCoP 2.2 | FOF | Jens Otten | University of Oslo |
| LEO-II 1.7.0 | THF | Alexander Steen | Freie Universität Berlin |
| Leo-III 1.3 | THF FOF EPR (demo) | Alexander Steen | Freie Universität Berlin |
| MaLARea 0.6 | LTB | Josef Urban | Czech Technical University |
| nanoCoP 1.1 | FOF | Jens Otten | University of Oslo |
| Princess 170717 | TFA | Philipp Rümmer | Uppsala University |
| Prover9 2009‑11A | FOF (demo) | CASC | CASC fixed point |
| Satallax 3.2 | THF (demo) | CASC | CASC-26 winner |
| Satallax 3.3 | THF | Michael Färber | University of Innsbruck |
| Twee 2.2 | FOF | Nick Smallbone | Chalmers University |
| Vampire 4.0 | LTB (demo) | CASC | CASC-26 winner |
| Vampire 4.1 | TFA FNT (demo) | CASC | CADE-26 winner |
| Vampire 4.2 | FOF (demo) | CASC | CASC-26 winner |
| Vampire 4.3 | TFA FOF FNT EPR LTB | Giles Reger | University of Manchester |