Hi Florian,

can you please update to the latest version of CeTA in the postprocessor. I just released the new version 3.1 of CeTA today.

http://cl-informatik.uibk.ac.at/isafor/src/CeTA-3.1.tgz

(If you used the previous 3.0.1 version, then there should not be any differences in the interface)

Best, René

Am 14.06.2024 um 10:54 schrieb Florian Frohn florian.frohn@informatik.rwth-aachen.de:

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 _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de