The CADE ATP System Competition

Systems and Entrants


System Version Divisions Entrant (Associates) Entrant's Affiliation Entry date Description Solutions Source
iProver 2.5 EPR CASC CADE-J8 winner 23/02/17 Description
-
Source
Prover9 2009‑11A FOF CASC
(William McCune, Bob Veroff)
CASC
(University of New Mexico)
23/02/17 Description Samples Source
Satallax 3.0 THF CASC CADE-J8 winner 23/02/17 Description Samples Source
Vampire 4.0 FOF LTB CASC CASC-J8 winner 23/02/17 Description Samples Source
LTB Source
Vampire 4.1 TFA FNT CASC CADE-J8 winner 23/02/17 Description Samples Source
LTB Source
Vampire 4.2 TFA FOF FNT EPR
SLD LTB
Giles Reger (Martin Suda, Andrei Voronkov,
Evgeny Kotelnikov, Laura Kovacs
University of Manchester 21/04/17


Systems in the Competition Divisions

THF TFA FOF FNT EPR SLD LTB
Satallax 3.0
Vampire 4.1
Vampire 4.2
Vampire 4.0
Vampire 4.2
Vampire 4.1
Vampire 4.2
iProver 2.5
Vampire 4.2
Vampire 4.2
Vampire 4.0
Vampire 4.2

Systems in the Demonstration Division

THF TFA FOF FNT EPR SLD LTB


Personal Details

Who System T-Shirt Rego Here? Dinner? Notes
Giles Reger Vampire 4.2 Large
Geoff Sutcliffe Organizer XLarge Free Yes Yes