MAYBE 974.55/297.06 MAYBE 974.55/297.06 974.55/297.06 We are left with following problem, upon which TcT provides the 974.55/297.06 certificate MAYBE. 974.55/297.06 974.55/297.06 Strict Trs: 974.55/297.06 { a(f(), a(f(), a(g(), a(g(), x)))) -> 974.55/297.06 a(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))) } 974.55/297.06 Obligation: 974.55/297.06 derivational complexity 974.55/297.06 Answer: 974.55/297.06 MAYBE 974.55/297.06 974.55/297.06 We uncurry the input using the following uncurry rules. 974.55/297.06 974.55/297.06 { a(f(), x_1) -> f_1(x_1) 974.55/297.06 , a(g(), x_1) -> g_1(x_1) } 974.55/297.06 974.55/297.06 We are left with following problem, upon which TcT provides the 974.55/297.06 certificate MAYBE. 974.55/297.06 974.55/297.06 Strict Trs: 974.55/297.06 { f_1(f_1(g_1(g_1(x)))) -> g_1(g_1(g_1(f_1(f_1(f_1(x)))))) } 974.55/297.06 Weak Trs: 974.55/297.06 { a(f(), x_1) -> f_1(x_1) 974.55/297.06 , a(g(), x_1) -> g_1(x_1) } 974.55/297.06 Obligation: 974.55/297.06 derivational complexity 974.55/297.06 Answer: 974.55/297.06 MAYBE 974.55/297.06 974.55/297.06 None of the processors succeeded. 974.55/297.06 974.55/297.06 Details of failed attempt(s): 974.55/297.06 ----------------------------- 974.55/297.06 1) 'iteProgress (timeout of 297 seconds)' failed due to the 974.55/297.06 following reason: 974.55/297.06 974.55/297.06 Computation stopped due to timeout after 297.0 seconds. 974.55/297.06 974.55/297.06 2) 'Inspecting Problem... (timeout of 297 seconds)' failed due to 974.55/297.06 the following reason: 974.55/297.06 974.55/297.06 Computation stopped due to timeout after 297.0 seconds. 974.55/297.06 974.55/297.06 3) 'bsearch-matrix (timeout of 297 seconds)' failed due to the 974.55/297.06 following reason: 974.55/297.06 974.55/297.06 The input cannot be shown compatible 974.55/297.06 974.55/297.06 4) 'Fastest (timeout of 60 seconds)' failed due to the following 974.55/297.06 reason: 974.55/297.06 974.55/297.06 Computation stopped due to timeout after 60.0 seconds. 974.55/297.06 974.55/297.06 974.55/297.06 Arrrr.. 974.93/297.32 EOF