[Termtools] Termination Competition - Full Run

[René Thiemann]

Dear all,

a full run of recent tools on all examples from the current TPDB has been started.
The preliminary results are accessible via the live view:
(browse to http://termcomp.uibk.ac.at/ and click on "Live View" in the menu bar)

Note that some tools have been scheduled which should not. These results will be removed
after all runs have been executed.

Best regards,
René