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