The CADE ATP System Competition

Systems, Division lists, and Entrants

System Version Divisions R Entrant (Associates) Entrant's Affiliation Entry date Description Solutions V Source
CASC-J13
CSIPlusPlus 1.0 FOF UEQ Guoyan Zeng (Yang Xu, Baojie Rui, Stephan Schulz, Peiyao Liu, Hailin Guo, Jun Liu, Shuwei Chen) Xihua University 25/06/26
E 3.5.1 THF FOF FNT UEQ Stephan Schulz DHBW Stuttgart 08/05/26
Drodi 4.1.1 FOF FNT UEQ Oscar Contreras Amateur Programmer 24/03/26
LEO-II 1.7.0 THF ✓ Alexander Steen (Christoph Benzmüller) University of Greifswald 20/05/26 Description Samples Source
Leo-III 1.8.0 THF Alexander Steen (Christoph Benzmüller) University of Greifswald 20/05/26
Mace4 2026-4F FNT Jeff Machado (Larry Lesyna) Independent Researcher (LXL Technology) 30/04/26
Prover9 1109a Demo: FOF ✓ CASC
(William McCune, Bob Veroff) 		CASC
(University of New Mexico) 		23/03/26 Description Samples
✗
 Source
Prover9 2026-4F FOF UEQ Jeff Machado (Larry Lesyna) Independent Researcher (LXL Technology) 30/04/26
SATResetCoP 1.0 FOF Martin Fixman (Fredrik Rømming, Sean Holden) University of Cambridge 18/06/26
SUPr 1.0 FOF Teddy Kim (Adam Pease) Naval Postgraduate School 12/06/26
Twee 2.7 UEQ Nick Smallbone (Guy Axelrod) Chalmers University of Technology 09/05/26
Vampire 5.0 Demo: THF FOF UEQ ✓ CASC CASC-30 winner 23/03/26 Description Samples
✓
 Source
ProoVer 2026
GAPT 2.20 ProoVer Fabian Achammer TU Wien 22/06/26
GDV 2.0 Demo: ProoVer Geoff Sutcliffe University of Miami 08/04/26 Description
GDV-LP 2.0 Demo: ProoVer Frédéric Blanqui (Geoff Sutcliffe) ENS Paris-Saclay, INRIA 12/06/26 Description
Nörgler 1.1 ProoVer Alexander Steen (Melanie Taprogge, Happy Sariyanto) University of Greifswald 20/05/26
ProofCheck 1.0 ProoVer Jeff Machado (Larry Lesyna) Independent Researcher (LXL Technology) 30/04/26
PyCheck 0.1 ProoVer Stephan Schulz DHBW Stuttgart 08/05/26

Division Lists

Competition Divisions
THF FOF FNT UEQ ProoVer
E 3.5.1
LEO-II 1.7.0
Leo-III 1.8.0
 CSIPlusPlus 1.0
Drodi 4.1.1
E 3.5.1
Prover9 2026-4F
SATResetCoP 1.0
SUPr 1.0
 Drodi 4.1.1
E 3.5.1
Mace4 2026-4F
 CSIPlusPlus 1.0
Drodi 4.1.1
E 3.5.1
Prover9 2026-4F
Twee 2.7
 GAPT 2.20
Nörgler 1.1
ProofCheck 1.0
PyCheck 0.1
Demonstration Divisions
Vampire 5.0
 Prover9 1109a
Vampire 5.0
 Vampire 4.8
 Vampire 5.0
 GDV 2.0
GDV-LP 2.0

Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Fabian Achammer GAPT 2.20 Medium
Frédéric Blanqui GDV-LP 2.0 Medium €
Oscar Contreras Drodi 4.1.1 Large No No Oscar Contreras, c/ Portugal, 4,
Urb. Penas Albas 28810 Villalbilla
Madrid, Spain
Martin Fixman SATResetCoP 1.0 Large US$
Teddy Kim SUPr 1.0 Medium
Jeff Machado Mace4 2026-4F, Prover9 2026-4F, ProofCheck 1.0 XXLarge US$ No No Post
Aart Middeldorp Panelist XLarge Free Yes Yes
Cláudia Nalon Panelist Small Free No No
Adam Pease SUPr 1.0 Medium US$
Stephan Schulz E 3.5.1, PyCheck 0.1 XXLarge €
Martina Seidl Panelist Large Free
Nick Smallbone Twee 2.7 XLarge
Alexander Steen LEO-II 1.7.0, Leo-III 1.8.0, Nörgler 1.1 Medium € No Melanie
Geoff Sutcliffe Organizer, GDV 2.0 XLarge ✓ Free Yes Yes Wear
Guoyan Zeng CSIPlusPlus 1.0 Small