[Termtools] termcomp 2015 now running

[Johannes Waldmann]

Dear colleagues,

the termination competition 2015 is now running (*)

results are provisionally available from here:
http://www.termination-portal.org/wiki/Termination_Competition_2015#News

you can check star-exec cluster status
https://www.starexec.org/starexec/secure/explore/cluster.jsp
to see what's actually happening,

(currently, TRS standard, C, and Cycles)

Enjoy - Johannes.

(*) despite some technical problems - that are not completely solved.

We expect to do a few categories today,
then pause, patch, and resume tomorrow.