Dear all, the main run will start in the morning of July 13 EDT, and will be live via: https://termcomp.github.io/Y2021/ Dear participants: Please click "[show configs]" on the top line and check your tools are registered as intended. Best, Akihisa
Dear all, all the jobs are started! Best, Akihisa On 2021/07/12 18:57, YAMADA, Akihisa wrote:
Dear all,
the main run will start in the morning of July 13 EDT, and will be live via: https://termcomp.github.io/Y2021/
Dear participants: Please click "[show configs]" on the top line and check your tools are registered as intended.
Best, Akihisa
Ahh, TRS Equational Certified is not displayed correctly... Because the csv output is broken, most likely due to the combination of an old starexec bug and certification failure by NaTT... Best, Akihisa On 2021/07/13 22:30, YAMADA, Akihisa wrote:
Dear all,
all the jobs are started!
Best, Akihisa
On 2021/07/12 18:57, YAMADA, Akihisa wrote:
Dear all,
the main run will start in the morning of July 13 EDT, and will be live via: https://termcomp.github.io/Y2021/
Dear participants: Please click "[show configs]" on the top line and check your tools are registered as intended.
Best, Akihisa
Hi Akihisa - thank you for doing all the work. I am watching (will MnM catch up with AProVE in SRS-Relative??) but I have other duties (supervising an exam) at the same time ... I like it that you implemented "showing solo (etc.) results". Best regards, Johannes.
Dear all, all the jobs including demonstrations are finished. Congrats to the winners :) I'll report on it tomorrow at CADE, so please let me know if there's something I should mention. Especially, does anyone have information on termCOMP 2009? I couldn't get information such as who participated. Best regards, Akihisa On 2021/07/13 23:11, YAMADA, Akihisa wrote:
Ahh, TRS Equational Certified is not displayed correctly... Because the csv output is broken, most likely due to the combination of an old starexec bug and certification failure by NaTT...
Best, Akihisa
On 2021/07/13 22:30, YAMADA, Akihisa wrote:
Dear all,
all the jobs are started!
Best, Akihisa
On 2021/07/12 18:57, YAMADA, Akihisa wrote:
Dear all,
the main run will start in the morning of July 13 EDT, and will be live via: https://termcomp.github.io/Y2021/
Dear participants: Please click "[show configs]" on the top line and check your tools are registered as intended.
Best, Akihisa
Especially, does anyone have information on termCOMP 2009?
I mean termCOMP 2010.
Best regards, Akihisa
On 2021/07/13 23:11, YAMADA, Akihisa wrote:
Ahh, TRS Equational Certified is not displayed correctly... Because the csv output is broken, most likely due to the combination of an old starexec bug and certification failure by NaTT...
Best, Akihisa
On 2021/07/13 22:30, YAMADA, Akihisa wrote:
Dear all,
all the jobs are started!
Best, Akihisa
On 2021/07/12 18:57, YAMADA, Akihisa wrote:
Dear all,
the main run will start in the morning of July 13 EDT, and will be live via: https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftermcomp.g...
Dear participants: Please click "[show configs]" on the top line and check your tools are registered as intended.
Best, Akihisa
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear all, new benchmarks are - SRS encodings of variants of the Collatz conjecture by Yolcu, https://arxiv.org/abs/2105.14697. No tool could solve. - Three minimalistic TRSs by Etienne Payet. Only NTI could show nontermination, very interesting! - A TRS encoding of the Collatz conjecture using binary arithmetic by me (motivated by Larry Paulson, independent with the Yolcu's). No tool could solve. You can view them by filtering benchmarks e.g. by "_21/". https://termcomp.github.io/Y2021/job_47877_47875.html?filter0=_21/ https://termcomp.github.io/Y2021/job_47878_47876.html?filter0=_21/ Best, Akihisa
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.
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
participants (2)
-
Johannes Waldmann -
YAMADA, Akihisa