| System | Version | Divisions | Entrant (Associates) | Entrant's Affiliation | Entry date | System Description | Sample Solutions |
|---|---|---|---|---|---|---|---|
| agsyHOL | 1.0 | THF | Fredrik Lindblad | University of Gothenburg | 13/06/14 | Description | |
| Beagle | 0.9 | TFA | Peter Baumgartner (Josh Bax) | NICTA and ANU | 12/06/14 | Description | |
| cocATP | 0.2.0 | THF | Cristóbal Camarero | University of Cantabria | 12/06/14 | Description | |
| Crossbow | 0.1 | FNT | Radek Micek | Charles University in Prague | 09/06/14 | Description | Samples |
| CVC4 | 1.4 | TFA FOF FNT | Andrew Reynolds (Clark Barrett, Cesare Tinelli, Morgan Deters) | EPFL | 29/05/14 | Description | Samples |
| E | 1.9 | FOF FNT EPR UEQ | Stephan Schulz | DHBW Stuttgart | 28/05/14 | Description | Samples |
| E.T. | 0.1 | FOF | Josef Urban (Cezary Kaliszyk, Stephan Schulz, Jiri Vyskocil) | Radboud University Nijmegen | 13/06/14 | Description | Samples |
| HOLyHammer | 140616 | THF | Cezary Kaliszyk (Josef Urban, Stephan Schulz) | University of Innsbruck | 13/06/14 | Description | |
| iProver | 0.9 | EPR | CASC | CASC-24 EPR winner | 11/04/14 | Description | |
| iProver | 1.0 | FNT | CASC | CASC-24 FNT winner | 11/04/14 | Description | Samples |
| iProver | 1.4 | FOF FNT EPR (demo) | Konstantin Korovin | University of Manchester | 10/07/14 | Description | Samples |
| Isabelle/HOL | 2013 | THF | Jasmin Blanchette (Lawrence Paulson, Tobias Nipkow, Makarius Wenzel) | Technische Universität München | 12/06/14 | Description | |
| leanCoP | 2.2 | FOF | Jens Otten | University of Potsdam | 13/06/14 | Description | Samples |
| LEO-II | 1.6.2 | THF | Christoph Benzmüller | Freie Universität Berlin | 16/06/14 | Description | |
| Muscadet | 4.4 | FOF | Dominique Pastre | University Paris Descartes | 11/06/14 | Description | Samples |
| Princess | 140704 | TFA FOF | Philipp Rümmer (Peter Backeman) | Uppsala University | 28/05/14 | Description | None |
| Prover9 | 2009‑11A | FOF | CASC (William McCune, Bob Veroff) | CASC (University of New Mexico) | 11/04/14 | Description | Samples |
| Satallax | 2.7 | THF | CASC | CASC-24 THF runner-up | 11/04/14 | Description | |
| Satallax_MaLeS | 1.3 | THF | Daniel Kuehlwein (Sil van de Leemput, Frank Dorssers, Wouter Geraedts) | Radboud University Nijmegen | 13/06/14 | Description | |
| SPASS+T | 2.2.19 | TFA | CASC | CASC-24 TFA winner | 11/04/14 | Description | |
| SPASS+T | 2.2.20 | TFA | Uwe Waldmann | Max‑Planck‑Institut für Informatik | 13/06/14 | Description | |
| Vampire | 2.6 | FOF | CASC | CASC-24 FOF winner | 11/04/14 | Description | Samples |
| VanHElsing | 1.0 | FOF | Daniel Kuehlwein (Sil van de Leemput, Frank Dorssers, Wouter Geraedts) | Radboud University Nijmegen | 13/06/14 | Description | Samples |
| Waldmeister | 710 | UEQ | CASC | CASC-23 UEQ winner | 11/04/14 | Description | |
| Zipperposition | 0.4 | TFA FOF | Simon Cruanes | INRIA | 05/06/14 | Description | Samples |
| THF | TFA | FOF | FNT | EPR | UEQ |
|---|---|---|---|---|---|
|
agsyHOL 1.0 cocATP 0.2.0 HOLyHammer 140616 Isabelle/HOL 2013 LEO-II 1.6.2 Satallax 2.7 Satallax_MaLeS 1.3 |
Beagle 0.9 CVC4 1.4 Princess 140704 SPASS+T 2.2.19 SPASS+T 2.2.20 Zipperposition 0.4 |
CVC4 1.4 E 1.9 E.T. 0.1 leanCoP 2.2 Muscadet 4.4 Princess 140704 Prover9 1109a Vampire 2.6 VanHElsing 1.0 Zipperposition 0.4 |
Crossbow 0.1 CVC4 1.4 E 1.9 iProver 1.0 |
E 1.9 iProver 0.9 |
E 1.9 Waldmeister 710 |
| THF | TFA | FOF | FNT | EPR | UEQ |
|---|---|---|---|---|---|
|
iProver 1.4 |
iProver 1.4 |
iProver 1.4 |
| Who | System | T-Shirt | Rego | Here? | Dinner? |
|---|---|---|---|---|---|
| Peter Backeman | Princess 140704 | None | None | Yes | Yes - pay on site |
| Josh Bax | Beagle 0.9 | Medium | Paid | Yes | Yes |
| Peter Baumgartner | Beagle 0.9 | XLarge | Paid | Yes | Yes |
| Bernhard Beckert | Panelist | XLarge | Free | No | |
| Christoph Benzmüller | LEO-II 1.6.2 | Large | Paid | Yes | Yes |
| Jasmin Blanchette | Isabelle/HOL 2013 | Large | Paid | Yes | Yes |
| Maria Paola Bonacina | Panelist | Medium | Free | Yes | Yes |
| Cristóbal Camarero | cocATP 0.2.0 | Small | Paid | No | No |
| Simon Cruanes | Zipperposition 0.4 | Medium | Paid | Yes | Yes |
| Morgan Deters | CVC4 1.4 | Medium | Paid | Yes | Yes |
| Wouter Geraedts | VanHElsing 1.0 | Small | Paid | ||
| Cezary Kaliszyk | HOLyHammer 140616 | Large | Paid | Yes | Yes |
| Konstantin Korovin | iProver 1.4 | Large | Paid | Yes | Yes |
| Daniel Kuehlwein | VanHElsing 1.0, Satallax_MaLeS 1.3 | None | None | No | No |
| Fredrik Lindblad | agsyHOL 1.0 | Large | Paid | Yes | Yes |
| Radek Micek | Crossbow 0.1 | XLarge | Paid | ||
| Aart Middeldorp | Panelist | XLarge | Free | Yes | Yes |
| Jens Otten | leancop 2.2 | Small | Paid | Yes | Yes |
| Dominique Pastre | Muscadet 4.4 | Small | Paid | No | No |
| Andrew Reynolds | CVC4 1.4 | Large | Paid | Yes | Yes |
| Philipp Rümmer | Princess 140704 | Medium | Paid | Yes | Yes |
| Stephan Schulz | E 1.9 | XXLarge | Paid | Yes | Yes |
| Aaron Stump | StarExec | Free | No | No | |
| Geoff Sutcliffe | Organizer | XLarge | Free | Yes | Yes |
| Cesare Tinelli | CVC4 1.4 | None | None | Yes | Yes - pay on site |
| Josef Urban | E.T. 0.1 | Large | Paid | Yes | Yes |
| Uwe Waldmann | SPASS+T 2.2.20 | XLarge | Paid | Yes | Yes |