[Termtools] Termination Competition test run

[Aart Middeldorp]

Dear all,

After solving some initial problems we started the final test run:

http://colo5-c703.uibk.ac.at:8080/termcomp/competition/categoryList.seam

Tool authors are requested to check the ouput of their tools and
report bugs. Needless to say, the output is not yet optimal. We
will address this issue during the test run.

Greetings from Innsbruck,

TC organisation