[Termtools] competition results - some comments

Simon Bailey simon.bailey at uibk.ac.at
Wed Jan 27 11:36:46 CET 2010


On 21 Jan 2010, at 14:36, Fabian Emmes wrote:
> Would it be possible -- and considered fair by the other teams --, to
> rerun AProVE-COLOR, after Simon adds the missing binary?


why me? :) please resubmit an updated version in the regular fashion.  
once done, please contact me so i can arrange a complete re-run of the  
certification categories.

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) 699 190 631 25
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/



More information about the Termtools mailing list