MAYBE 976.77/297.13 MAYBE 976.77/297.13 976.77/297.13 We are left with following problem, upon which TcT provides the 976.77/297.13 certificate MAYBE. 976.77/297.13 976.77/297.13 Strict Trs: 976.77/297.13 { active(f(X)) -> mark(if(X, c(), f(true()))) 976.77/297.13 , active(if(true(), X, Y)) -> mark(X) 976.77/297.13 , active(if(false(), X, Y)) -> mark(Y) 976.77/297.13 , f(active(X)) -> f(X) 976.77/297.13 , f(mark(X)) -> f(X) 976.77/297.13 , mark(f(X)) -> active(f(mark(X))) 976.77/297.13 , mark(if(X1, X2, X3)) -> active(if(mark(X1), mark(X2), X3)) 976.77/297.13 , mark(c()) -> active(c()) 976.77/297.13 , mark(true()) -> active(true()) 976.77/297.13 , mark(false()) -> active(false()) 976.77/297.13 , if(X1, X2, active(X3)) -> if(X1, X2, X3) 976.77/297.13 , if(X1, X2, mark(X3)) -> if(X1, X2, X3) 976.77/297.13 , if(X1, active(X2), X3) -> if(X1, X2, X3) 976.77/297.13 , if(X1, mark(X2), X3) -> if(X1, X2, X3) 976.77/297.13 , if(active(X1), X2, X3) -> if(X1, X2, X3) 976.77/297.13 , if(mark(X1), X2, X3) -> if(X1, X2, X3) } 976.77/297.13 Obligation: 976.77/297.13 derivational complexity 976.77/297.13 Answer: 976.77/297.13 MAYBE 976.77/297.13 976.77/297.13 None of the processors succeeded. 976.77/297.13 976.77/297.13 Details of failed attempt(s): 976.77/297.13 ----------------------------- 976.77/297.13 1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to 976.77/297.13 the following reason: 976.77/297.13 976.77/297.13 Computation stopped due to timeout after 297.0 seconds. 976.77/297.13 976.77/297.13 2) 'Fastest (timeout of 60 seconds)' failed due to the following 976.77/297.13 reason: 976.77/297.13 976.77/297.13 Computation stopped due to timeout after 60.0 seconds. 976.77/297.13 976.77/297.13 3) 'iteProgress (timeout of 297 seconds)' failed due to the 976.77/297.13 following reason: 976.77/297.13 976.77/297.13 Fail 976.77/297.13 976.77/297.13 4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the 976.77/297.13 following reason: 976.77/297.13 976.77/297.13 The input cannot be shown compatible 976.77/297.13 976.77/297.13 976.77/297.13 Arrrr.. 976.77/297.16 EOF