[Termtools] TermComp 2018 results

[Akihisa Yamada]

Dear Cynthia,

> It sounds like many hours of StarExec-wrangling, and it is amazing that
> you are willing to take it on. :)

I will if no one will, but I'm not willing :)

> Second... I'm afraid I'm going to add your problems

No this is the same run script error. My interface assumes bug-free 
starexec so every error is shown like MAYBE.

> P.S. Do we want to get away from StarExec? It may be possible to get a
> group of students to spend some time developing a new competition
> platform or adapting the pre-StarExec one.

I think the hardware of StarExec is precious. Another option would be 
Amazon Web Service (but who pays?).

Best regards,
Akihisa

>
>
> On 07/15/2018 01:36 PM, Akihisa Yamada wrote:
>> Dear all,
>>
>> now this page shows the TermComp final result, including demonstration
>> runs.
>>
>> http://group-mmm.org/termination/competitions/Y2018/
>>
>> About run script errors: It has been detected and reported in advance
>> to the StarExec team, but apparently they couldn't fix in time. We'll
>> not have it next year.
>>
>> About complexity category issue: I'm sorry for not detecting this on
>> test runs... In short, StarExec produces invalid CSV files for jobs
>> that were run after last October if output contain commas (like
>> "WORST_CASE(1,?)").
>>
>> The StarExec team proposed I manually fix CSV files (great idea!) but
>> star-exec-presenter's dynamism doesn't allow it in a reasonable
>> effort. So the above you see is a simple and static interface I've
>> just implemented.
>>
>> Best regards,
>> Akihisa
>> _______________________________________________
>> Termtools mailing list
>> Termtools at lri.fr
>> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>
>
>
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>