Dear all,

the GitHub issue tracker seems to be well suited for the "first run". Please report your/others' tools' bugs as issues, and mention them in the pull requests for the bugfixes.

https://github.com/TermCOMP/starexec-master/issues

Best, Akihisa

On 2023/08/14 9:43, YAMADA, Akihisa wrote:

Dear all,

the first (test) run is already finished. It seems termtools list wasn't working, so I use GitHub for managing issues:

https://github.com/TermCOMP/starexec-master/issues

There were also run script errors, which are already fixed on StarExec side: https://github.com/StarExec/StarExec/issues/382

Johannes pointed out unsoundness in NaTT and AProVE.

Please note that the bugfix deadline is Aug. 20 (AoE).

Best regards, Akihisa

On 2023/08/10 22:11, YAMADA, Akihisa wrote:

...

Dear all,

I have already started the first run.

https://termcomp.herokuapp.com/Y2023/

We observe already a conflict :) and runscript errors :( Please analyze.

Best, Akihisa