MAYBE 790.84/297.61 MAYBE 790.84/297.61 790.84/297.61 We are left with following problem, upon which TcT provides the 790.84/297.61 certificate MAYBE. 790.84/297.61 790.84/297.61 Strict Trs: 790.84/297.61 { f(g(X)) -> g(f(f(X))) 790.84/297.61 , f(h(X)) -> h(g(X)) } 790.84/297.61 Obligation: 790.84/297.61 runtime complexity 790.84/297.61 Answer: 790.84/297.61 MAYBE 790.84/297.61 790.84/297.61 The input is overlay and right-linear. Switching to innermost 790.84/297.61 rewriting. 790.84/297.61 790.84/297.61 We are left with following problem, upon which TcT provides the 790.84/297.61 certificate MAYBE. 790.84/297.61 790.84/297.61 Strict Trs: 790.84/297.61 { f(g(X)) -> g(f(f(X))) 790.84/297.61 , f(h(X)) -> h(g(X)) } 790.84/297.61 Obligation: 790.84/297.61 innermost runtime complexity 790.84/297.61 Answer: 790.84/297.61 MAYBE 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'empty' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 2) 'Best' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'With Problem ... (timeout of 297 seconds)' failed due to the 790.84/297.61 following reason: 790.84/297.61 790.84/297.61 Computation stopped due to timeout after 297.0 seconds. 790.84/297.61 790.84/297.61 2) 'Best' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)' 790.84/297.61 failed due to the following reason: 790.84/297.61 790.84/297.61 Computation stopped due to timeout after 24.0 seconds. 790.84/297.61 790.84/297.61 2) 'With Problem ... (timeout of 148 seconds) (timeout of 297 790.84/297.61 seconds)' failed due to the following reason: 790.84/297.61 790.84/297.61 The weightgap principle applies (using the following nonconstant 790.84/297.61 growth matrix-interpretation) 790.84/297.61 790.84/297.61 The following argument positions are usable: 790.84/297.61 Uargs(f) = {1}, Uargs(g) = {1} 790.84/297.61 790.84/297.61 TcT has computed the following matrix interpretation satisfying 790.84/297.61 not(EDA) and not(IDA(1)). 790.84/297.61 790.84/297.61 [f](x1) = [1] x1 + [4] 790.84/297.61 790.84/297.61 [g](x1) = [1] x1 + [0] 790.84/297.61 790.84/297.61 [h](x1) = [1] x1 + [4] 790.84/297.61 790.84/297.61 The order satisfies the following ordering constraints: 790.84/297.61 790.84/297.61 [f(g(X))] = [1] X + [4] 790.84/297.61 ? [1] X + [8] 790.84/297.61 = [g(f(f(X)))] 790.84/297.61 790.84/297.61 [f(h(X))] = [1] X + [8] 790.84/297.61 > [1] X + [4] 790.84/297.61 = [h(g(X))] 790.84/297.61 790.84/297.61 790.84/297.61 Further, it can be verified that all rules not oriented are covered by the weightgap condition. 790.84/297.61 790.84/297.61 We are left with following problem, upon which TcT provides the 790.84/297.61 certificate MAYBE. 790.84/297.61 790.84/297.61 Strict Trs: { f(g(X)) -> g(f(f(X))) } 790.84/297.61 Weak Trs: { f(h(X)) -> h(g(X)) } 790.84/297.61 Obligation: 790.84/297.61 innermost runtime complexity 790.84/297.61 Answer: 790.84/297.61 MAYBE 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'empty' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 2) 'With Problem ...' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'empty' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 2) 'Fastest' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'With Problem ...' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'empty' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 2) 'With Problem ...' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'empty' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 2) 'With Problem ...' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'empty' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 2) 'With Problem ...' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 2) 'With Problem ...' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'empty' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 2) 'With Problem ...' failed due to the following reason: 790.84/297.61 790.84/297.61 Empty strict component of the problem is NOT empty. 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 3) 'Best' failed due to the following reason: 790.84/297.61 790.84/297.61 None of the processors succeeded. 790.84/297.61 790.84/297.61 Details of failed attempt(s): 790.84/297.61 ----------------------------- 790.84/297.61 1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the 790.84/297.61 following reason: 790.84/297.61 790.84/297.61 The input cannot be shown compatible 790.84/297.61 790.84/297.61 2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due 790.84/297.61 to the following reason: 790.84/297.61 790.84/297.61 The input cannot be shown compatible 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 790.84/297.61 Arrrr.. 790.98/297.78 EOF