[Prev][Next][Index][Thread]

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:
    http://wwwjessen.informatik.tu-muenchen.de/~suttner/Competition.html
As well as the results, a full archive of the competition is available, 
including:
+ 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
http://www.cs.jcu.edu.au/ftp/users/GSutcliffe/GSutcliffe.html