[Termtools] Certified categories

[Christian Sternagel]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: certificate.zip
Type: application/zip
Size: 14880 bytes
Desc: not available
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20190323/d682d7d9/attachment-0001.zip>