[Termtools] qualification rounds completed

Frederic Blanqui blanqui at loria.fr
Fri Jun 1 18:01:19 CEST 2007


it seems that, in the certifying competition, the average time computations do 
not include the certification times...


More information about the Termtools mailing list