The CADE ATP System Competition

Systems, Division lists, and Entrants

System Version Divisions R✓? Entrant (Associates) Entrant's Affiliation Entry date Description Solutions Source
Connect++ 0.6.1 FOF Sean Holden University of Cambridge 01/07/25
CSE_E 1.7 FOF EPR UEQ ICU Peiyao Liu (Baojie Rui, Yang Xu,
Stephan Schulz, Jun Liu, Shuwei Chen) 		Xihua University 27/06/25
CSI_Enigma 1.0 FOF EPR UEQ ICU ✓ Guoyan Zeng (Yang Xu, Hailin Guo,
Peiyao Liu, Guanfeng Wu, Jan Jakubuv,
Stephan Schulz, Jun Liu, Shuwei Chen,
Feng Cao, Jian Zhong, Xingxing He,
Peng Xu) 		Southwest Jiaotong University 30/06/25
cvc5 1.3.0 THF TFA TFN FOF
SLH (all demo) 		Andrew Reynolds (Cesare Tinelli,
Clark Barrett, Lydia Kondylidou) 		University of Iowa 03/07/25
Drodi 4.1.0 FOF EPR UEQ ICU Oscar Contreras Amateur Programmer 04/03/25 Description Samples Source
E 3.3.0 THF FOF EPR UEQ
SLH ICU 		Stephan Schulz DHBW Stuttgart 07/03/25
iProver 3.9 TFN (demo) ✓ CASC CASC-J12 winner 24/02/25 Description Samples Source
iProver 3.9.4 TFA TFN FOF UEQ
ICU 		Konstantin Korovin The University of Manchester 01/07/25
LastButNotLeast 0 FOF ✓ Julie Cailler University of Lorraine, CNRS,
Inria, LORIA 		01/07/25 Description Samples Source
LisaTableauxTactic 0.9 FOF Simon Guilloud (Sankalp Gambhir) EPFL 01/07/25
Prover9 1109a FOF (demo) ✓ CASC
(William McCune, Bob Veroff) 		CASC
(University of New Mexico) 		24/02/25 Description Samples Source
SPASS-SCL 0.0 FOF EPR Christoph Weidenbach (Simon Schwarz,
Yasmine Briefs, Lorenz Leutgeb, Fabian
Wobito, Charlotte Weidenbach) 		Max Planck Institute for Informatics 07/03/25
Toma 0.7 UEQ Teppei Saito (Nao Hirokawa) Japan Advanced Institute of Science
and Technology 		16/06/25
Twee 2.6.0 UEQ Nick Smallbone Chalmers University of Technology 27/06/25
Vampire 4.4 EPR (demo) ✓ CASC CASC-27 winner 24/02/25 Description
-
 Source
Vampire 4.9 THF TFA FOF UEQ
SLH ICU (all demo) 		✓ CASC CASC-J12 winner 24/02/25 Description Samples Source
Vampire 4.10 THF TFA TFN FOF
EPR UEQ SLH ICU 		Michael Rawson (Filip Bártek, Ahmed
Bhayat, Robin Coutelier, Márton Hajdú,
Matthias Hetzenberger, Petra Hozzová,
Laura Kovács, Jakob Rath, Giles Reger,
Martin Riener, Martin Suda, Johannes
Schoisswohl, Andrei Voronkov) 		TU Wien 03/07/25
Zipperposition 2.1.9999 THF FOF ✓ Jasmin Blanchette (Alexander Bentkamp,
Simon Cruanes, Petar Vukmirović) 		Ludwig-Maximilians-Universität
München 		09/04/25 Description Samples Source

Division Lists

Competition Divisions
THF TFA TFN FOF EPR UEQ SLH ICU ✓?
E 3.3.0
Vampire 4.10
Zipperposition 2.1.9999
 iProver 3.9.4
Vampire 4.10
 iProver 3.9.4
Vampire 4.10
 Connect++ 0.6.1
CSE_E 1.7
CSI_Enigma 1.0
Drodi 4.1.0
E 3.3.0
iProver 3.9.4
LastButNotLeast 0
LisaTableauxTactic 0.9
SPASS-SCL 0.0
Vampire 4.10
Zipperposition 2.1.9999
 CSE_E 1.7
CSI_Enigma 1.0
Drodi 4.1.0
E 3.3.0
iProver 3.9.4
SPASS-SCL 0.0
Vampire 4.10
 CSE_E 1.7
CSI_Enigma 1.0
Drodi 4.1.0
E 3.3.0
iProver 3.9.4
Toma 0.7
Twee 2.6.0 Vampire 4.10
 E 3.3.0
Vampire 4.10
 CSE_E 1.7
CSI_Enigma 1.0
Drodi 4.1.0 ✓
E 3.3.0
iProver 3.9.4
Vampire 4.10
Demonstration Divisions
cvc5 1.3.0
Vampire 4.9
 cvc5 1.3.0
Vampire 4.9
 cvc5 1.3.0
iProver 3.9
 cvc5 1.3.0
Prover9 1109a
Vampire 4.9
 Vampire 4.4
 Vampire 4.9
 cvc5 1.3.0
Vampire 4.9
 Vampire 4.9 ✓

Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Jasmin Blanchette Zipperposition 2.1.9999 Large
Yasmine Briefs SPASS-SCL 0.0 Small €
Julie Cailler LastButNotLeast 0 Medium €
Oscar Contreras Drodi 4.1.0 Large No No Oscar Contreras, c/ Portugal, 4, Urb. Penas Albas, 28810 Villalbilla, Madrid, Spain
Robin Coutelier Vampire 4.10 Large
Simon Guilloud LisaTableauxTactic 0.9 Large
Thomas Hader Vampire 4.10
Márton Hajdú Vampire 4.10
Sean Holden Connect++ 0.6.1 Large
Konstantin Korovin iProver 3.9.4 Medium
Lorenz Leutgeb SPASS-SCL 0.0 Large €
Peiyao Liu CSE_E 1.7 Small PayPal No No Post to Jun Liu
17 Meadowlands
Jordanstown, Newtownabbey BT37 0UR
County Antrim, Northern Ireland, UK
Aart Middeldorp Panelist XLarge Free
Cláudia Nalon Panelist Small Free Yes Yes
Michael Rawson Vampire 4.10 Medium
Andrew Reynolds cvc5 1.3.0 Large
Teppei Saito Toma 0.7 Large
Stephan Schulz E 3.3.0 XXLarge € Yes Yes
Simon Schwarz SPASS-SCL 0.0 Large €
Nick Smallbone Twee 2.6.0 XLarge €
Martin Suda Vampire 4.10 Medium
Geoff Sutcliffe Organizer XLarge ✓ Free Yes Yes Wear
Andrei Voronkov Vampire 4.10 Large
Tjark Weber Panelist XLarge Free
Christoph Weidenbach SPASS-SCL 0.0 Large Student Ruth: T-shirt=M
Charlotte: T-shirt=S
Fabian Wobito SPASS-SCL 0.0 XLarge €
Guoyan Zeng CSI_Enigma 1.0 Small PayPal No No Post to Jun Liu
17 Meadowlands
Jordanstown, Newtownabbey BT37 0UR
County Antrim, Northern Ireland, UK