MAYBE 'epo* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { *(X, +(Y, 1())) -> +(*(X, +(Y, *(1(), 0()))), X) , *(X, 1()) -> X , *(X, 0()) -> X , *(X, 0()) -> 0()} Proof Output: The input cannot be shown compatible