Some Numbers About the CHINA Prolog Benchmarks

The following table lists most of the Prolog programs in the CHINA benchmark suite. For each program is given the filename, the size in kB and the number of lines after comments have been stripped out, the number of clauses, and the number of Strongly Connected Sub-Components (SCSCs). For a description of SCSCs see

F. Bourdoncle, Sèmantiques des langages impèratifs d'ordre supèrieur et interprètation abstraite, PRL Research Report 22, DEC Paris Research Laboratory, 1993.