[Termtools] Demonstration Category Complexity ITS Certified

[Yamada, Akihisa]

Dear Marcel,

> I like the new display-style of the results :-). 

for that kind of things I'd be happy to spend my energy!

And not for carefully moving around someones' dozens of IDs on StarExec. 
Therefore I made this file and asked all participants to check:
https://github.com/TermCOMP/starexec-master/blob/master/Y2020_info.php

> see the same output as in my test-runs. Is it possible to just display 
> the results without the CeTA post-processing?

No, you will need to run another job.

Though I'd have appreciated if you had checked the file then, I don't 
mind to rerun (if others won't object and you make an appropriate 
pull-request).

Best,
Akihisa

> 
> 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
> 

-- 
このEメールはアバスト アンチウイルスによりウイルススキャンされています。
https://www.avast.com/antivirus