[Termtools] Outermost competition details
Simon Bailey
simon.bailey at uibk.ac.at
Wed Dec 10 15:42:11 CET 2008
Dear all,
On Dec 9, 2008, at 1:16 PM, Aart Middeldorp wrote:
>> When exactly will the outermost competition be run?
>
> The outermost competition will run next Thursday. Details
> will be announced tomorrow.
The outermost competition will start on 18/12/2008 @ 12:01 (1 minute
after midday). Submission deadline for all participating tools will be
18/12/2008 @ 11:01 (morning, 1 hour before the competition starts).
The problem set will be the set of examples already in the tpdb
combined with the sets supplied by hans, rené and jörg. all examples
will be added to the tpdb and made available for download tomorrow
morning.
The scoring output will be the same as in all other TRS categories
(i.e. sum of YES/NO/MAYBE/TIMEOUT will be displayed).
regards,
sb
--
Simon Bailey
Systems Administrator
Institut fuer Informatik
Universitaet Innsbruck
Technikerstrasse 21a/2
A-6020 Innsbruck
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/
More information about the Termtools
mailing list