| System Version | Divisions | Entrant | Entrant's Affiliation |
|---|---|---|---|
| CSE 1.4 | FOF | Feng Cao | Southwest Jiaotong University |
| CSE_E 1.3 | FOF | Peiyao Liu | Southwest Jiaotong University |
| CSE-F 1.0 | FOF | Peiyao Liu | Southwest Jiaotong University |
| cvc5 1.0 | THF FOF FNT SLH | Andrew Reynolds | University of Iowa |
| Drodi 3.1.5 | FOF UEQ | Oscar Contreras | Amateur Programmer |
| E 2.5 | UEQ LTB (demo) | CASC | CASC-J10 winner |
| E 2.6 | FOF FNT UEQ LTB | Stephan Schulz | DHBW Stuttgart |
| Ehoh 2.7 | THF SLH | Petar Vukmirović | Vrije Universiteit Amsterdam |
| Etableau 0.67 | FOF FNT UEQ | John Hester | University of Florida |
| GKC 0.7 | FOF UEQ LTB | Tanel Tammet | Tallinn University of Technology |
| iProver 3.5 | FOF FNT UEQ LTB | Konstantin Korovin | University of Manchester |
| JavaRes 1.3.0 | FOF | Adam Pease | Articulate Software |
| LEO-II 1.7.0 | THF | Alexander Steen | University of Luxembourg |
| Leo-III 1.6 | THF SLH LTB | Alexander Steen | University of Luxembourg |
| Prover9 1109a | FOF (demo) | CASC | CASC |
| RPx 1.0 | FOF FNT | Anders Schlichtkrull | Aalborg University Copenhagen |
| SATCoP 0.1 | FOF | Michael Rawson | University of Manchester |
| Twee 2.4 | FOF UEQ | Nick Smallbone | Chalmers University of Technology |
| Vampire 4.5 | FOF FNT (demo) | CASC | CASC-J10 winner |
| Vampire 4.6 | THF FOF FNT UEQ SLH LTB | Giles Reger | University of Manchester |
| Zipperposition 2.0 | THF (demo) | CASC | CASC-J10 winner |
| Zipperposition 2.1 | THF FOF SLH LTB | Petar Vukmirović | Vrije Universiteit Amsterdam |