MAYBE 894.94/297.01 MAYBE 894.94/297.01 894.94/297.01 We are left with following problem, upon which TcT provides the 894.94/297.01 certificate MAYBE. 894.94/297.01 894.94/297.01 Strict Trs: 894.94/297.01 { f(x, a(a(b(b(y))))) -> f(a(a(a(b(b(b(x)))))), y) 894.94/297.01 , f(a(x), y) -> f(x, a(y)) 894.94/297.01 , f(b(x), y) -> f(x, b(y)) } 894.94/297.01 Obligation: 894.94/297.01 runtime complexity 894.94/297.01 Answer: 894.94/297.01 MAYBE 894.94/297.01 894.94/297.01 The input is overlay and right-linear. Switching to innermost 894.94/297.01 rewriting. 894.94/297.01 894.94/297.01 We are left with following problem, upon which TcT provides the 894.94/297.01 certificate MAYBE. 894.94/297.01 894.94/297.01 Strict Trs: 894.94/297.01 { f(x, a(a(b(b(y))))) -> f(a(a(a(b(b(b(x)))))), y) 894.94/297.01 , f(a(x), y) -> f(x, a(y)) 894.94/297.01 , f(b(x), y) -> f(x, b(y)) } 894.94/297.01 Obligation: 894.94/297.01 innermost runtime complexity 894.94/297.01 Answer: 894.94/297.01 MAYBE 894.94/297.01 894.94/297.01 None of the processors succeeded. 894.94/297.01 894.94/297.01 Details of failed attempt(s): 894.94/297.01 ----------------------------- 894.94/297.01 1) 'empty' failed due to the following reason: 894.94/297.01 894.94/297.01 Empty strict component of the problem is NOT empty. 894.94/297.01 894.94/297.01 2) 'Best' failed due to the following reason: 894.94/297.01 894.94/297.01 None of the processors succeeded. 894.94/297.01 894.94/297.01 Details of failed attempt(s): 894.94/297.01 ----------------------------- 894.94/297.01 1) 'With Problem ... (timeout of 297 seconds)' failed due to the 894.94/297.01 following reason: 894.94/297.01 894.94/297.01 Computation stopped due to timeout after 297.0 seconds. 894.94/297.01 894.94/297.01 2) 'Best' failed due to the following reason: 894.94/297.01 894.94/297.01 None of the processors succeeded. 894.94/297.01 894.94/297.01 Details of failed attempt(s): 894.94/297.01 ----------------------------- 894.94/297.01 1) 'With Problem ... (timeout of 148 seconds) (timeout of 297 894.94/297.01 seconds)' failed due to the following reason: 894.94/297.01 894.94/297.01 Computation stopped due to timeout after 148.0 seconds. 894.94/297.01 894.94/297.01 2) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)' 894.94/297.01 failed due to the following reason: 894.94/297.01 894.94/297.01 Computation stopped due to timeout after 24.0 seconds. 894.94/297.01 894.94/297.01 3) 'Best' failed due to the following reason: 894.94/297.01 894.94/297.01 None of the processors succeeded. 894.94/297.01 894.94/297.01 Details of failed attempt(s): 894.94/297.01 ----------------------------- 894.94/297.01 1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the 894.94/297.01 following reason: 894.94/297.01 894.94/297.01 The input cannot be shown compatible 894.94/297.01 894.94/297.01 2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due 894.94/297.01 to the following reason: 894.94/297.01 894.94/297.01 The input cannot be shown compatible 894.94/297.01 894.94/297.01 894.94/297.01 894.94/297.01 894.94/297.01 894.94/297.01 Arrrr.. 895.05/297.17 EOF