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