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