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