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