The CADE ATP System Competition

Systems, Division lists, and Entrants

System Version Divisions R✓? Entrant (Associates) Entrant's Affiliation Entry date Description Solutions Source
Drodi 4.1.0 FOF EPR UEQ ICU Oscar Contreras Amateur Programmer 04/03/25
E 3.3.0 THF FOF EPR UEQ SLH ICU Stephan Schulz DHBW Stuttgart 07/03/25
iProver 3.9 TFN (demo) R CASC CASC-J12 winner 24/02/25 Description Samples Source
Prover9 1109a FOF (demo) R 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
Vampire 4.4 EPR (demo) R CASC CASC-27 winner 24/02/25 Description
-
 Source
Vampire 4.9 THF TFA FOF UEQ SLH ICU (demo) R CASC CASC-J12 winner 24/02/25 Description Samples Source

Division Lists

Competition Divisions
THF TFA TFN FOF EPR UEQ SLH ICU ✓?
E 3.3.0
 E 3.3.0
SPASS-SCL 0.0
 E 3.3.0
SPASS-SCL 0.0
 E 3.3.0
 E 3.3.0
 E 3.3.0
Demonstration Divisions
Vampire 4.9
 Vampire 4.9
 iProver 3.9
 Prover9 1109a
Vampire 4.9
 Vampire 4.4
 Vampire 4.9
 Vampire 4.9
 Vampire 4.9 ✓

Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Oscar Contreras Drodi 4.1.0 Large No No Oscar Contreras, c/ Portugal, 4, Urb. Penas Albas, 28810 Villalbilla, Madrid, Spain
Aart Middeldorp Panelist XLarge Free
Cláudia Nalon Panelist Small Free Yes Yes
Stephan Schulz E 3.3.0 XXLarge Yes Yes
Geoff Sutcliffe Organizer XLarge ✓ Free Yes Yes Wear
Tjark Weber Panelist XLarge Free
Christoph Weidenbach SPASS-SCL 0.0 Large