[Termtools] Termination Competition 2017 - finished

[Johannes Waldmann]

Dear all,


Starexec just finished running the competition jobs.

results: https://termcomp.imn.htwk-leipzig.de/competitions/65

inconsistencies this year:
https://termcomp.imn.htwk-leipzig.de/problems/False/24394/24399/24400/24402

compare to last year:
https://termcomp.imn.htwk-leipzig.de/combine/Y2016/65
(but note https://github.com/jwaldmann/star-exec-presenter/issues/178 )

comments welcome.


I will be running the "demonstration categories"
(with just one participant) tomorrow morning.


- Johannes.