[Termtools] Termination Competition November 2008

[Simon Bailey]

Dear all,

the competition finished last night at 22:46.

My technical resumé:
 From my point of view, the competition ran very smoothly with some  
very minor exceptions. The only manual action i had to perform to keep  
the competition running was fix a problem with the timeout script not  
killing coqc correctly. The description of this problem can be found  
in bug #50 (http://dev.aspsimon.org/bugzilla/show_bug.cgi?id=50). The  
problem with the complexity categories was already described by georg  
and will be rectified in the results tomorrow afternoon.

The current incarnation of the competition and the managing web- 
interface is no way perfect and I am sure there are many things which  
could be improved upon. Suggestions for enhancements will be welcome –  
I am sure there will be a few in the coming weeks. However, I would  
request that ALL official enhancement requests go through bugzilla (http://dev.aspsimon.org/bugzilla/ 
) as my mailbox is becoming far too inundated with termcomp related  
emails to keep track of everything. Using bugzilla will also enable  
suggestions to be pooled.

The source code of the managing application and scheduler is already  
available via SVN (location will be announced in a separate email next  
week). Contributions in form of patches accompanying enhancement  
requests will be welcome, as long as the enhancements make sense. ;)

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/