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