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
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
Drodi 4.1.1
 Drodi 4.1.1
Demonstration Divisions
Vampire 5.0
 Prover9 1109a
Vampire 5.0
 Vampire 5.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 XLarge ✓ Free Yes Yes Wear