[Termtools] Demonstration Category Complexity ITS Certified

[Thiemann, René]

Dear Akihisa and Marcel,

I completely agree to Marcel’s email:

A big thanks to Akihisa for his efforts, and if possible removed the “certified” from “Complexity: ITS Certified”: As far as I know,
also CeTA is not able to certify complexity proofs for ITSs.

Best,
René

> Am 02.07.2020 um 07:49 schrieb Marcel Hark <marcel.hark at cs.rwth-aachen.de>:
> 
> Dear Akihisa,
> 
> thank you very much for all the effort and time you put into organizing this year's TermComp. I like the new display-style of the results :-). Also a big thanks to the starexec team.
> 
> I have a question regarding the demonstration "Complexity: ITS Certified". I think there has been a mix-up. We did not intend to participate in this category but the category "Complexity: ITS", i.e., without certification, I think I mixed something up up the registration process in this case. The run itself seems to be correct, i.e., I can see the same output as in my test-runs. Is it possible to just display the results without the CeTA post-processing?
> 
> Best and thank you again,
> 
> Marcel
> 
> Am 02.07.20 um 06:13 schrieb Yamada, Akihisa:
>> Dear all,
>> 
>> final run is over and demonstrations are run.
>> Thanks to participants and congrats to winners!
>> 
>> Best,
>> Akihisa
>> 
>> On 2020/07/02 1:11, Yamada, Akihisa wrote:
>>> Dear all,
>>> 
>>> C is also started. Jobs had been paused for some time because we run out of disk quota, which Aaron fixed now.
>>> 
>>> And you might have already noticed that the page is fancier now :)
>>> https://termcomp2020.herokuapp.com/
>>> 
>>> Best,
>>> Akihisa
>>> 
>>> On 2020/07/01 12:05, Yamada, Akihisa wrote:
>>>> Dear all,
>>>> 
>>>> final run (except for the C categories) are started: https://termcomp2020.herokuapp.com/
>>>> 
>>>> Best regards,
>>>> Akihisa
>>>> 
>>> 
>> 
> --
> Marcel Hark
> Research Group Computer Science 2
> RWTH Aachen University
> 52056 Aachen
> Germany
> 
> E-Mail: marcel.hark at cs.rwth-aachen.de"
> Phone: +49-241/80-21214
> Fax: +49-241/80-22217
> Room: 4208, Ahornstr. 55
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 874 bytes
Desc: Message signed with OpenPGP
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200702/ea1f3192/attachment.sig>