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