[Termtools] Certified categories

[Akihisa Yamada]

Dear René,

thank you for checking! Will this happen with previous versions? Or did 
ttt2 improve so that it produce huge certificate?

Cheers,
Akihisa

On 2019/03/25 22:21, Thiemann, René wrote:
> Dear Chris and Akihisa,
> 
> the certificate in question is valid, but requires nearly 2 hours to check.
> 
> time ./ceta ICFP_2010__3467.xml
> CERTIFIED
> 
> real	107m4.095s
> user	106m20.025s
> sys	0m50.106s
> 
> Cheers,
> René
> 
>> Am 23.03.2019 um 21:09 schrieb Christian Sternagel <c.sternagel at gmail.com>:
>>
>> Dear Akihisa,
>>
>> sorry for my hasty answer earlier. (At first I misunderstood were to
>> look for the problem and hence was not aware what the problem actually was.)
>>
>> Now, I tested for example ttt2's CPF output for
>>
>>   ICFP_2010/3467.xml
>>
>> which is available through the "job log" (after killing some java script
>> process that was bombing my browser) and attached, in case anybody is
>> interested. (The certificate contains an automaton with 1778 transitions.)
>>
>> With my local compilation of CeTA, it seems pretty obvious that this is
>> an issue with CeTA not being able to validate the certificate within a
>> reasonable amount of time (at the moment CeTA is running already for
>> more than 23 min and rapidly draining my laptop's battery).
>>
>> I wouldn't know what we could do about it for this competition.
>>
>> cheers
>>
>> chris
>>
>> On 3/23/19 3:08 AM, Akihisa Yamada wrote:
>>> Dear Chris, René, Johannes,
>>>
>>> certified TTT2 seems to suffer from post-processor errors.
>>>
>>> http://54.199.109.250/competitions/Y2019/caches/termination_33117.php
>>>
>>> I wonder if CeTA wants more time, but StarExec cannot show job pair page
>>> (maybe output is too big). Could star-exec-presenter help?
>>>
>>> Best regards,
>>> Akihisa
>>> _______________________________________________
>>> Termtools mailing list
>>> Termtools at lri.fr
>>> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>> <certificate.zip>_______________________________________________
>> 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
>