[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