[Termtools] termcomp2015 now running complexity categories

Johannes Waldmann 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.

- J.

More information about the Termtools mailing list