[Termtools] Certified categories

[Thiemann, René]

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