Dear Akihisa,
Thanks for running TermCOMP 2022!
On the "Advancing-the-State-of-the-Art Ranking" the score of MU-TERM is 0.
I do not know very well how such an score is obtained, but
(1) We obtained better results than last year in CTRS_conditional(operational termination); ok, this was due to an increase of the CTRS_conditional collection; and (2) We promoted a "demo" on termination of CTRSs.
I thought this could be considered as "advancing the state of the art", specially (2). Perhaps (2) does not count because it is not an 'official' competition. If this is the case, I suggest that, in the future, tools aiming to obtain results in such demo competitions (addressing new problems in termination and complexity should also be recognized as "advacing the state of the art", as I think this is primarily a scientific concept, rather than a subject for competition.
Best regards,
Salvador.
El 8/8/22 a las 14:16, YAMADA, Akihisa escribió:
Dear all,
all but a few jobs are finished. Sorry that it was not really successfully live. There was a connection trouble.
"Teams" are redefined after a long discussion.
Best, Akihisa
On 8/8/2022 8:32 AM, YAMADA, Akihisa wrote:
Dear all,
I've started other demanding jobs (TRS/SRS, Complexity, Certified). I'll start other smaller jobs in next break and try to present it on the conference screen.
Best, Akihisa
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de