[Termtools] Certified categories

[Christian Sternagel]

Dear Akihisa,

thanks for the notification. Unfortunately, I don't know at the moment
what the problem might be.

That I was not able to test ttt2 with CeTA on starexec before does not
help ;)

The reason for not being able to test was that I don't know what the
actual starexec setup for termCOMP is. Is there a postprocessor for
certification? If yes, could it be made available for testing (at least
I did not find it when I ran my initial tests this year).

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