Dear all,
some complexity jobs are started.
Best, Akihisa
On 8/7/2022 9:13 AM, YAMADA, Akihisa wrote:
Dear all,
it turned out we don't have a live screen until IJCAR starts tomorrow. I'll start some big jobs (TRS/SRS Standard, Complexity) later today, and other categories tomorrow morning.
Best, Akihisa
On 8/6/2022 1:36 PM, YAMADA, Akihisa wrote:
Dear all,
Jobs are ready for the final run. https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftermcomp.g...
I'll start them tomorrow morning in Haifa time.
Best, Akihisa _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de