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