14 Aug
2023
14 Aug
'23
9:43 a.m.
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