Dear Johannes, thank you for the info. It's my first time to see the old data, and they look good already... Best, Akihisa On 2021/07/16 0:47, Johannes Waldmann wrote:
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. _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de