13 Jul
2021
13 Jul
'21
4:11 p.m.
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