| System Version | Divisions | Entrant | Entrant's Affiliation |
|---|---|---|---|
| Connect++ 0.6.0 | FOF ICU (demo) | Sean Holden | University of Cambridge |
| CSE 1.7 | FOF | Feng Cao | JiangXi University of Science and Technology |
| CSE_E 1.6 | FOF ICU | Peiyao Liu | Southwest Jiaotong University |
| CSG_E 1.0 | FOF ICU | Peiyao Liu | Southwest Jiaotong University |
| CSI_E 1.0 | FOF ICU | Guoyan Zeng | Southwest Jiaotong University |
| cvc5 1.1.3 | THF TFA TFN FOF SLH | Andrew Reynolds | University of Iowa |
| Drodi 3.6.0 | FOF UEQ ICU | Oscar Contreras | Amateur Programmer |
| E 3.1 | SLH (demo) | CASC | CASC-29 winner |
| E 3.2.0 | THF FOF UEQ SLH ICU | Stephan Schulz | DHBW Stuttgart |
| GKC 0.8 | FOF UEQ | Tanel Tammet | Tallinn University of Technology |
| iProver 3.9 | TFA TFN FOF UEQ ICU | Konstantin Korovin | University of Manchester |
| LEO-II 1.7.0 | THF | Alexander Steen | University of Greifswald |
| Leo-III 1.7.15 | THF | Alexander Steen | University of Greifswald |
| Prover9 1109a | FOF (demo) | CASC | CASC |
| Twee 2.4.2 | UEQ (demo) | CASC | CASC-29 winner |
| Twee 2.5.0 | UEQ | Nick Smallbone | Chalmers University of Technology |
| Vampire 4.8 | THF TFA TFN FOF (demo) | CASC | CASC-29 winner |
| Vampire 4.9 | THF TFA TFN FOF UEQ SLH ICU | Michael Rawson | TU Wien |
| Zipperposition 2.1.9999 | THF FOF | Jasmin Blanchette | Ludwig-Maximilians-Universität München |