[Termtools] Demonstration Category Complexity ITS Certified

[Marcel Hark]

Dear Akihisa,

thank you again :).

Best,

Marcel

Am 02.07.20 um 12:52 schrieb 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
>>>
>>
>
-- 

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/62ab6d96/attachment-0001.htm>