System Version Divisions Entrant (Associates) 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 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 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 (demo)
Petar Vukmirović Vrije Universiteit Amsterdam