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