The CADE ATP System Competition

Systems, Division lists, and Entrants

System Version Divisions ✓ Entrant (Associates) Entrant's Affiliation Entry date Description Solutions Source
Drodi 3.6.0 FOF UEQ ICU Oscar Contreras Amateur Programmer 01/04/24
E 3.1 SLH (demo) R CASC CASC-29 winner 29/03/24 Description Samples Source
E 3.2 THF FOF UEQ SLH ICU Stephan Schulz DHBW Stuttgart 02/04/24
iProver 3.9 TFA TFN FOF UEQ SLH ICU Konstantin Korovin (Edvard Holden) University of Manchester 08/05/24
Prover9 1109a FOF (demo) R CASC
(William McCune, Bob Veroff) 		CASC
(University of New Mexico) 		29/03/24 Description Samples Source
Twee 2.4.2 UEQ (demo) R CASC CASC-29 winner 29/03/24 Description Samples Source
Vampire 4.8 THF TFA TFN FOF (demo) R CASC CASC-29 winner 29/03/24 Description Samples Source
Vampire 4.9 THF TFA TFN FOF UEQ SLH ICU Michael Rawson
(Ahmed Bhayat, Robin Coutelier, Márton Hajdú,
Matthias Hetzenberger, Petra Hozzová,
Laura Kovács, Jakob Rath, Michael Rawson,
Giles Reger, Martin Riener, Martin Suda,
Johannes Schoisswohl, Andrei Voronkov) 		TU Wien 09/04/24

Division Lists

Competition Divisions
THF TFA TFN FOF UEQ SLH ICU
E 3.2
Vampire 4.9
 iProver 3.9
Vampire 4.9
 iProver 3.9
Vampire 4.9
 Drodi 3.6.0
E 3.2
iProver 3.9
Vampire 4.9
 Drodi 3.6.0
E 3.2
iProver 3.9
Vampire 4.9
 E 3.2
iProver 3.9
Vampire 4.9
 Drodi 3.6.0
E 3.2
iProver 3.9
Vampire 4.9
Demonstration Divisions
Vampire 4.8
 Vampire 4.8
 Vampire 4.8
 Prover9 1109a
Vampire 4.8
 Twee 2.4.2
 E 3.1

Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Oscar Contreras Drodi 3.6.0 Large
Konstantin Korovin iProver 3.9 Medium
Cláudia Nalon Panelist Small Free Yes Yes
Michael Rawson Vampire 4.9 Medium
Stephan Schulz E 3.2 XXLarge
Geoff Sutcliffe Organizer XLarge ✓ Free Yes Yes Wear
Christoph Weidenbach Panelist Medium* Free No No
Charlotte Weidenbach Future entrant YSmall No No No
Christoph Wernhard Panelist XXL Free Yes Yes