[Termtools] Re: Main run

On 7/14/21 7:10 AM, YAMADA, Akihisa wrote:

...

Especially, does anyone have information on termCOMP 2009?

I mean termCOMP 2010.

http://termination-portal.org/wiki/Termination_Competition_2010 Wayback machine does not seem to have it: https://web.archive.org/web/20111001000000*/http://termcomp.uibk.ac.at/ A while ago I did keep some back-ups https://gitlab.imn.htwk-leipzig.de/waldmann/termcomp but it's incomplete - J.