[Termtools] Demonstration Category Complexity ITS Certified

[Yamada, Akihisa]

Dear Marcel, René, and all,

demo categories are rerun now, you can watch them live for a while :) 
https://termcomp2020.herokuapp.com/

I've been making organizational changes to ease my or future organizers' 
work, but I should have done so before kicking off actually.

Best,
Akihisa

On 2020/07/02 17:36, Yamada, Akihisa wrote:
> 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