CADE-13 ATP Competition Results

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

            Results of the CADE-13 ATP System Competition

The CADE-13 ATP System Competition was held on 1st August 1996 at CADE-13.
The results of the competition are now available through the competition
WWW page:
As well as the results, a full archive of the competition is available, 
+ Entrants' binaries 
+ The soundness testing problems and output files
+ The eligible problem files, precisely as used in the competition
+ System output files from the competition

Geoff Sutcliffe
Department of Computer Science    Email : geoff@cs.jcu.edu.au
James Cook University             Phone : +61 77 815085/814622
Townsville, Australia, 4811.      FAX   : +61 77 814029