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
GDV 2.0 ProoVer Geoff Sutcliffe University of Miami 08/04/26
Drodi 4.1.1 FOF UEQ Oscar Contreras Amateur Programmer 24/03/26
Prover9 1109a Demo: FOF ✓ CASC
(William McCune, Bob Veroff) 		CASC
(University of New Mexico) 		23/03/26 Description Samples
✗
 Source
Vampire 5.0 Demo: THF FOF UEQ ✓ CASC CASC-30 winner 23/03/26 Description Samples
✓
 Source

Division Lists

Competition Divisions
THF FOF UEQ ProoVer
Drodi 4.1.1
 Drodi 4.1.1
Demonstration Divisions
Vampire 5.0
 Prover9 1109a
Vampire 5.0
 Vampire 5.0
 GDV 2.0

Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Oscar Contreras Drodi 4.1.1 Large No No Oscar Contreras, c/ Portugal, 4,
Urb. Penas Albas 28810 Villalbilla
Madrid, Spain
Aart Middeldorp Panelist XLarge Free Yes Yes
Cláudia Nalon Panelist Small Free Yes Yes
Martina Seidl Panelist Large Free
Geoff Sutcliffe Organizer, GDV 2.0 XLarge ✓ Free Yes Yes Wear