The CADE-16 ATP system competition

Abstract

[Extract] The CADE-16 ATP System Competition (CASC-16) was held on Friday, 9 July 1999, as part of CADE-16 in Trento, Italy. CASC-16 was the fourth CADE ATP system competition, following the successful competitions at CADE-13 in 1996 (Sutcliffe and Suttner, 1997a), CADE-14 in 1997 (Suttner and Sutcliffe, 1998), and CADE-15 in 1998 (Sutcliffe and Suttner, 1999). CASC-16 evaluated the performance of fully automatic, first-order ATP systems. The evaluation was in terms of the number of problems solved and the average runtime for successful solutions. The evaluation was done in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (Sutcliffe and Suttner, 1998c) v2.2.1, and a specified time limit for each solution attempt. This paper documents the results of the competition.