| System | Version | Divisions | ✓ | Entrant (Associates) | Entrant's Affiliation | Entry date | Description | Solutions | Source |
|---|---|---|---|---|---|---|---|---|---|
| CSE | 1.5 | FOF | R | Feng Cao (Yang Xu, Peiyao Liu, Jun Liu, Shuwei Chen, Guoyan Zeng, Guanfeng Wu, Xingxing He, Peng Xu) | JiangXi University of Science and Technology | 30/06/22 | Description | Samples | Source |
| CSE_E | 1.4 | FOF | R | Peiyao Liu (Yang Xu, Feng Cao, Stephan Schulz, Jun Liu, Shuwei Chen, Guoyan Zeng, Jian Zhong, Guanfeng Wu, Xingxing He, Peng Xu) | Southwest Jiaotong University | 30/06/22 | Description | Samples | Source |
| cvc5 | 1.0 | THF TFA FOF FNT SLH | R | Andrew Reynolds (Haniel Barbosa, Cesare Tinelli, Clark Barrett) | University of Iowa | 31/06/22 | Description | Samples | Source |
| Drodi | 3.3.3 | FOF UEQ | R | Oscar Contreras | Amateur Programmer | 09/05/22 | Description | Samples | Source |
| E | 3.0 | THF FOF FNT UEQ SLH LTB | R | Stephan Schulz (Petar Vukmirović, Jasmin Blanchette) | DHBW Stuttgart | 09/05/22 | Description | Samples | Source |
| Ehoh | 2.7 | SLH | R | CASC | CASC-28 winner | 09/03/22 | Description | Samples | Source |
| Etableau | 0.67 | FOF | R | John Hester | Imandra | 06/07/22 | Description | Samples | Source |
| GKC | 0.7 | FOF UEQ | R | Tanel Tammet | Tallinn University of Technology | 03/07/22 | Description | Samples | Source |
| Goéland | 1.0.0 | FOF | R | Julie Cailler (Johann Rosain, David Delahaye, Simon Robillard, Hinde Lilia Bouziane) | Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier | 29/06/22 | Description | Samples | Source |
| iProver | 3.6 | TFA FOF FNT UEQ LTB | R | Konstantin Korovin (André Duarte, Edvard Holden) | University of Manchester | 29/06/22 | Description | Samples | Source |
| Lash | 1.12 | THF | R | Cezary Kaliszyk (Chad Brown, Jan Jakubuv) | University of Innsbruck | 04/07/22 | Description | Samples | Source |
| LEO-II | 1.7.0 | THF | R | Alexander Steen (Christoph Benzmüller) | University of Greifswald | 29/06/22 | Description | Samples | Source |
| Leo-III | 1.7.0 | THF | R | Alexander Steen (Christoph Benzmüller) | University of Greifswald | 29/06/22 | Description | Samples | Source |
| Prover9 | 1109a | FOF (demo) | R | CASC (William McCune, Bob Veroff) | CASC (University of New Mexico) | 09/03/21 | Description | Samples | Source |
| Satallax | 3.4 | THF | R | Cezary Kaliszyk (Chad Brown, Michael Färber) | University of Innsbruck | 04/07/22 | Description | Samples | Source |
| SnakeForV4.7 | 1.0 | TFA FOF FNT UEQ (demo) | R | Martin Suda (Filip Bartek) | Czech Technical University | 10/06/22 | Description | Samples | Source |
| Toma | 0.2 | UEQ | R | Teppei Saito (Nao Hirokawa) | Japan Advanced Institute of Science and Technology | 30/06/22 | Description | Samples | Source |
| Twee | 2.4 | UEQ | R | CASC | CASC-28 winner | 09/03/22 | Description | Samples | Source |
| Twee | 2.4.1 | UEQ | R | Nick Smallbone | Chalmers University of Technology | 04/07/22 | Description | Samples | Source |
| Vampire | 4.5 | TFA | R | CASC | CASC-J10 winner | 09/03/22 | Description | Samples | Source |
| Vampire | 4.6 | FOF FNT LTB | R | CASC | CASC-28 winner | 09/03/22 | Description | Samples | |
| Vampire | 4.7 | THF TFA FOF FNT UEQ SLH LTB | R | Giles Reger (Martin Suda, Andrei Voronkov, Laura Kovacs, Ahmed Bhayat, Bernhard Gleiss, Marton Hajdu, Petra Hozzova, Evgeny Kotelnikov, Jakob Rath, Michael Rawson, Martin Riener, Johannes Schoisswohl) | University of Manchester | 30/05/22 | Description | Samples | Source |
| Zipperposition | 2.1 | THF | R | CASC | CASC-28 winner | 09/03/22 | Description | Samples | Source |
| Zipperposition | 2.1.999 | THF FOF SLH (demo) | R | Jasmin Blanchette (Petar Vukmirović, Alexander Bentkamp, Simon Cruanes, Visa Nummelin, Sophie Tourret) | Vrije Universiteit Amsterdam | 14/06/22 | Description | Samples | Source |
| Competition Divisions | ||||||
|---|---|---|---|---|---|---|
| THF | TFA | FOF | FNT | UEQ | SLH | LTB |
|
cvc5 1.0 E 3.0 Lash 1.12 LEO-II 1.7.0 Leo-III 1.7.0 Satallax 3.4 Vampire 4.7 Zipperposition 2.1.999 |
cvc5 1.0 iProver 3.6 Vampire 4.7 |
cvc5 1.0 CSE 1.5 CSE_E 1.4 Drodi 3.3.3 E 3.0 Etableau 0.67 GKC 0.7 Goéland 1.0.0 iProver 3.6 Vampire 4.7 Zipperposition 2.1.999 |
cvc5 1.0 E 3.0 iProver 3.6 Vampire 4.7 |
Drodi 3.3.3 E 3.0 GKC 0.7 iProver 3.6 Toma 0.2 Twee 2.4.1 Vampire 4.7 |
cvc5 1.0 E 3.0 Vampire 4.7 |
E 3.0 iProver 3.6 Vampire 4.7 |
| Demonstration Divisions | ||||||
|
Zipperposition 2.1 |
SnakeForV4.7 1.0 Vampire 4.5 |
SnakeForV4.7 1.0 Prover9 1109a Vampire 4.6 |
SnakeForV4.7 1.0 Vampire 4.6 |
SnakeForV4.7 1.0 Twee 2.4 |
Ehoh 2.7 Zipperposition 2.1.999 |
Vampire 4.6 |
| Who | System | T-Shirt | Rego | Here? | Dinner? | Notes |
|---|---|---|---|---|---|---|
| Clark Barrett | T-shirts! | Medium | None | No | No |
2500 Columbia Street, #408 Palo Alto, CA 94304 |
| Filip Bartek | SnakeForV4.7 1.o | Medium | None | No | No | Martin Suda will pay |
| Christoph Benzmüller | Leo-III 1.7.0, LEO-II 1.7.0 | Small | None | No | No | |
| Jasmin Blanchette | Zipperposition 2.1.999 | Large | TPTP_$ | Yes | Yes | |
| Julie Callier | Goéland 1.0.0 | Medium | TPTP_$ | Yes | Yes | |
| Feng Cao | CSE 1.5 | Large | FLoC_$ | No | No | Paid by Jun Liu. Post T-shirt. |
| Oscar Contreras | Drodi 3.3.3 | Large | FLoC_$ | No | No | |
| David Delahaye | Goéland 1.0.0 | Large | TPTP_$ | Yes | Yes | |
| Martin Desharnais | Organizer | Small | FLoC_$ | Yes | Yes | |
| André Duarte | iProver 3.6 | Medium | TPTP_€ | Yes | Yes | |
| Pascal Fontaine | Panelist | Large | Free | Yes | Yes | |
| Marton Hajdu | Vampire 4.7 | Large | TPTP_€ | Yes | Yes | Gluten free |
| John Hester | Etableau 0.67 | Large | TPTP_$ | No | No | |
| Petra Hozzova | Vampire 4.7 | None | TPTP_€ | Yes | Yes | |
| Jan Jakubuv | Lash 1.12 | Medium | TPTP_€ | Yes | Yes | |
| Cezary Kaliszyk | Lash 1.12, Satallax 3.4 | Large | TPTP_€ | Yes | Yes | |
| Konstantin Korovin | iProver 3.6 | Medium | TPTP_$ | Yes | Yes | |
| Laura Kovacs | Vampire 4.7 | Medium | TPTP_€ | Yes | Yes | Eaten by Clemens Eisenhofer |
| Peiyao Liu | CSE_E 1.4 | Small | FLoC_$ | No | No | Paid by Jun Liu. Post T-shirt. |
| Cláudia Nalon | Panelist | Small | Free | Yes | Yes | |
| Jakob Rath | Vampire 4.7 | Large | TPTP_€ | Yes | Yes | |
| Michael Rawson | Vampire 4.7 | Medium | TPTP_€ | Yes | Yes | |
| Giles Reger | Vampire 4.7 | Large | TPTP_$ | No | No | |
| Teppei Saito | Toma 0.2 | Large | FLoC_$ | Yes | No | Paid by Nao Hirokawa. Give T-shirt to Aart. |
| Andrew Reynolds | cvc5 1.0 | XLarge | TPTP_$ | No | No | Give shirt to Cesare |
| Johann Rosain | Goéland 1.0.0 | Large | TPTP_$ | Yes | Yes | |
| Johannes Schoisswohl | Vampire 4.7 | Large | TPTP_€ | Yes | Yes | |
| Stephan Schulz | E 3.0 | XXLarge | TPTP_€ | Yes | Yes | Plus Janine for dinner |
| Nick Smallbone | Twee 2.4.1 | Large | FLoC_$ | No | No | |
| Alexander Steen | Leo-III 1.7.0, LEO-II 1.7.0 | Medium | TPTP_€ | Yes | Yes | Plus Giulia for dinner. |
| Martin Suda | SnakeForV4.7 1.0 | Large | FLoC_$ | Yes | Yes | |
| Geoff Sutcliffe | Organizer | XLarge ✓ | Free | Yes | Yes | Wear |
| Tanel Tammet | GKC 0.7 | XLarge | TPTP_$ | Yes | Yes | |
| Andrei Voronkov | Vampire 4.7 | Large | TPTP_€ | Yes | Yes | |
| Christoph Weidenbach | Panelist | Large | Free | Yes | Yes | |
| Charlotte Weidenbach | Future entrant | YSmall | No | No | No | Give to Chris |