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