[Prev][Next][Index][Thread]
CADE-13 ATP Competition Results
-
Subject: CADE-13 ATP Competition Results
-
From: Geoff Sutcliffe <geoff@cs.jcu.edu.au>
-
Date: Wed, 28 Aug 1996 11:56:23 +1000 (EST)
-
Approved: types@dcs.gla.ac.uk
-
Original-To: deduktion@intellektik.informatik.th-darmstadt.de (German Deduction Group
-
Pp-Warning: Parse error in original version of preceding To line
[------ 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