[Termtools] Incompatible Lower and Upper Bounds in "Runtime Complexity - Full Rewriting"

[Michael Schaper]

Dear all,

thank you for testing. That seems to be a bug in tct.

Best,
michi

On 08/29/2016 01:20 PM, Johannes Waldmann wrote:
> Dear all, my recent tests show some incompatible answers
> in "Runtime Complexity - Full Rewriting"
> http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/18024
> - J.
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>