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