| System
| Divisions
| Entrants
| Affiliation
|
| 5alarm 0.1
| EPR
| Mark Lemay
| -
|
| Beagle 0.4
| TFA
| Peter Baumgartner
| NICTA
|
| cocATP 0.1.8
| THF
| Cristobal Camarero
| University of Cantabria
|
| CVC4 1.2
| FOF FNT
| Andrew Reynolds
| University of Iowa
|
| E 1.8
| FOF FNT EPR LTB
| Stephan Schulz
| Technische Universität München
|
| E‑KRHyper 1.4
| FOF FNT EPR LTB
| Björn Pelzer
| University Koblenz
|
| E-MaLeS 1.2
| FOF
| Daniel Kuehlwein
| Radboud University Nijmegen
|
| iProver 0.9
| EPR
| CASC
| CASC-J6 EPR winner
|
| iProver 1.0
| FOF FNT EPR LTB
| Konstantin Korovin
| University of Manchester
|
| iProver-Eq 0.85
| FOF FNT EPR
| Christoph Sticksel
| University of Iowa
|
| iProverModulo 0.7-0.2
| FOF
| Guillaume Burel
| ENSIIE/Cedric
|
| Isabelle 2012
| THF
| CASC
| CASC-J6 THF winner
|
| Isabelle 2013
| THF
| Jasmin Blanchette
| Technische Universität München
|
| LEO-II 1.6.0
| THF
| Christoph Benzmüller
| Freie Universität Berlin
|
| MaLARea 0.5
| LTB
| Josef Urban
| Radboud University Nijmegen
|
| Muscadet 4.3
| FOF
| Dominique Pastre
| University Paris Descartes
|
| Nitrox 2013
| FNT
| Jasmin Blanchette
| Technische Universität München
|
| Paradox 3.0
| FNT
| CASC
| CASC-J6 FNT winner
|
| PEPR 0.0ps
| EPR
| Tianyi Liang
| University of Iowa
|
| Princess 2012‑06‑04
| TFA
| CASC
| CASC-J6 TFA winner
|
| Prover9 2009-11A
| FOF
| CASC
| CASC
|
| Satallax 2.7
| THF
| Chad Brown
| Saarland University
|
| Satallax‑MaLeS 1.2
| THF
| Daniel Kuehlwein
| Radboud University Nijmegen
|
| SPASS+T 2.2.19
| TFA
| Uwe Waldmann
| Max-Planck-Institut für Informatik
|
| TEMPLAR::leanCoP 0.8
| LTB
| Mario Frank
| University of Potsdam
|
| TPS 3.120601S1b
| THF
| Chad Brown
| Saarland University
|
| Vampire 2.6
| FOF LTB
| CASC
| CASC-J6 FOF and LTB winner
|
| Vampire 3.0
| FOF FNT EPR LTB
| Andrei Voronkov
| The University of Manchester
|
| Zipperposition 0.2
| FOF
| Guillaume Burel
| ENSIIE/Cedric
|