[Termtools] termcomp2015 now running complexity categories
johannes.waldmann at htwk-leipzig.de
Thu Aug 6 10:10:09 CEST 2015
Good morning all,
I just started the complexity competition categories.
(and it worked! just one click! yay!)
Results appear at
* there's a new rule for scoring (using lower and upper bounds)
* TCT2 is not counted as a competitor,
since TCT3 by the same team is running.
Once complexity is finished,
I will then run the other competition categories,
and finally, demonstration categories.
More information about the Termtools