MAYBE 997.30/297.45 MAYBE 997.30/297.45 997.30/297.45 We are left with following problem, upon which TcT provides the 997.30/297.45 certificate MAYBE. 997.30/297.45 997.30/297.45 Strict Trs: 997.30/297.45 { f(x, f(a(), y)) -> f(a(), f(f(a(), h(f(a(), x))), y)) } 997.30/297.45 Obligation: 997.30/297.45 derivational complexity 997.30/297.45 Answer: 997.30/297.45 MAYBE 997.30/297.45 997.30/297.45 None of the processors succeeded. 997.30/297.45 997.30/297.45 Details of failed attempt(s): 997.30/297.45 ----------------------------- 997.30/297.45 1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to 997.30/297.45 the following reason: 997.30/297.45 997.30/297.45 Computation stopped due to timeout after 297.0 seconds. 997.30/297.45 997.30/297.45 2) 'iteProgress (timeout of 297 seconds)' failed due to the 997.30/297.45 following reason: 997.30/297.45 997.30/297.45 Fail 997.30/297.45 997.30/297.45 3) 'Fastest (timeout of 60 seconds)' failed due to the following 997.30/297.45 reason: 997.30/297.45 997.30/297.45 Computation stopped due to timeout after 60.0 seconds. 997.30/297.45 997.30/297.45 4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the 997.30/297.45 following reason: 997.30/297.45 997.30/297.45 The input cannot be shown compatible 997.30/297.45 997.30/297.45 997.30/297.45 Arrrr.. 997.56/297.54 EOF