Dear all, I had to update the post-proessors for the certified categories due to a bug that made it impossible to see the output of the tools on StarExec. The new post-processors for the certified categories are: - ceta.ari.term.full.24.3 for certified termination, full rewriting - ceta.ari.term.innermost.24.3 for certified termination, innermost rewriting - ceta.ari.term.outermost.24.3 for certified termination, outermost rewriting - ceta.ari.rc.innermost.24.3 for certified innermost runtime complexity Best Florian On 6/21/24 10:27, Florian Frohn wrote:

Dear all,

the new BenchExec-compatible post-processors are:

- plain.ari.24.2 for all uncertified categories - ceta.ari.term.full.24.2 for certified termination, full rewriting - ceta.ari.term.innermost.24.2 for certified termination, innermost rewriting - ceta.ari.term.outermost.24.2 for certified termination, outermost rewriting - ceta.ari.rc.innermost.24.2 for certified innermost runtime complexity

The post-processors for the certified categories now use CeTA 3.1 instead of CeTA 3.0.1.

Best Florian

_______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de