[Termtools] termination competition interface

Simon Bailey simon.bailey at uibk.ac.at
Fri Oct 10 17:02:43 CEST 2008

dear all,

The competition management interface is now open for business.

Please follow the instructions posted at


to register and create a team.

When uploading your tools, please ensure the following criteria are  
met, otherwise the test runs may or may not work

– the zip file contains at most 1 directory (VERY important for mac  
– your executable is a direct child of this directory

These limitations will be removed in the coming week.

Once you've registered, you can create or join a team and upload your  
tools for testing. If you encounter any problems, please use the  
bugzilla interface at http://dev.aspsimon.org/bugzilla/ to submit bug  

RE certified categories: there seems to be some form of versioning  
hell with CoLoR, Rainbow and coq. The versions installed on the  
competition server at the moment are:

coq: 		8.1pl3	(in /usr/local/bin and /usr/local/lib)
CoLoR: 		080509	(in /usr/local/share/color)
Rainbow: 	070713	(in /usr/local/share/rainbow)

Do not expect certification to work properly yet. First results in the  
certified category are expected next week; these will be announced in  
a separate email.

The Innsbruck Team
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

More information about the Termtools mailing list