[Termtools] Certified categories

Akihisa Yamada akihisayamada at nii.ac.jp
Sat Mar 23 03:08:41 CET 2019 

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

More information about the Termtools mailing list