The CADE ATP System Competition

Systems and Entrants


System Version Divisions Entrant (Associates) Entrant's Affiliation Entry date Description Solutions Source
E 2.2 FOF FNT EPR LTB Stephan Schulz DHBW Stuttgart 19/04/18
iProver 2.6 EPR (demo) CASC CASC-26 winner 17/08/17 Description Samples Source
Prover9 2009‑11A FOF (demo) CASC
(William McCune, Bob Veroff)
CASC
(University of New Mexico)
17/08/17 Description Samples Source
Satallax 3.2 THF (demo) CASC CASC-26 winner 17/08/17 Description Samples Source
Vampire 4.0 LTB (demo) CASC CASC-26 winner 17/08/17 Description Samples Source
Vampire 4.1 TFA FNT (demo) CASC CADE-26 winner 17/08/17 Description Samples Source
Vampire 4.2 FOF SLH (demo) CASC CASC-26 winner 17/08/17 Description Samples Source


Systems in the Competition Divisions

THF TFA FOF FNT EPR LTB
E 2.2
E 2.2
E 2.2
E 2.2

Systems in the Demonstration Division

THF TFA FOF FNT EPR LTB
Satallax 3.2
Vampire 4.1
Prover9 2009‑11A
Vampire 4.2
Vampire 4.1
iProver 2.6
Vampire 4.0


Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Aart Middeldorp Panelist XLarge Free
Stephan Schulz E 2.2 XXLarge
Geoff Sutcliffe Organizer XLarge Free Yes Yes