The CADE ATP System Competition

Systems and Entrants


System Version Divisions Entrant (Associates) Entrant's Affiliation Entry date Description Solutions Source
iProver 2.6 EPR 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 SLH LTB

Systems in the Demonstration Division

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


Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Geoff Sutcliffe Organizer XLarge Free Yes Yes