[Termtools] Demonstration Category Complexity ITS Certified

[Marcel Hark]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200702/4bf676aa/attachment-0001.htm>