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