MAYBE 'epo* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { g(X) -> h(activate(X)) , c() -> d() , h(n__d()) -> g(n__c()) , d() -> n__d() , c() -> n__c() , activate(n__d()) -> d() , activate(n__c()) -> c() , activate(X) -> X} Proof Output: The input cannot be shown compatible