Dear all,

the postprocessors for the certified categories are now available. The naming scheme is

ceta.ari.$PROPERTY.$STRATEGY.24.1

where $PROPERTY is

- SN for Strong Normalization (aka Termination)
- RC for Runtime Complexity
- DC for Derivational Complexity

and $STRATEGY is full, innermost, or outermost.

The postprocessors for DC and full RC are untested, since I don't have suitable solvers. If you intend to submit one, please get in touch.

Let me know if you run into problems.

Best
Florian