MAYBE
1058.78/297.14	MAYBE
1058.78/297.14	
1058.78/297.14	We are left with following problem, upon which TcT provides the
1058.78/297.14	certificate MAYBE.
1058.78/297.14	
1058.78/297.14	Strict Trs:
1058.78/297.14	  { active(zeros()) -> mark(cons(0(), zeros()))
1058.78/297.14	  , active(and(tt(), X)) -> mark(X)
1058.78/297.14	  , active(length(cons(N, L))) -> mark(s(length(L)))
1058.78/297.14	  , active(length(nil())) -> mark(0())
1058.78/297.14	  , active(take(0(), IL)) -> mark(nil())
1058.78/297.14	  , active(take(s(M), cons(N, IL))) -> mark(cons(N, take(M, IL)))
1058.78/297.14	  , mark(zeros()) -> active(zeros())
1058.78/297.14	  , mark(cons(X1, X2)) -> active(cons(mark(X1), X2))
1058.78/297.14	  , mark(0()) -> active(0())
1058.78/297.14	  , mark(and(X1, X2)) -> active(and(mark(X1), X2))
1058.78/297.14	  , mark(tt()) -> active(tt())
1058.78/297.14	  , mark(length(X)) -> active(length(mark(X)))
1058.78/297.14	  , mark(nil()) -> active(nil())
1058.78/297.14	  , mark(s(X)) -> active(s(mark(X)))
1058.78/297.14	  , mark(take(X1, X2)) -> active(take(mark(X1), mark(X2)))
1058.78/297.14	  , cons(X1, active(X2)) -> cons(X1, X2)
1058.78/297.14	  , cons(X1, mark(X2)) -> cons(X1, X2)
1058.78/297.14	  , cons(active(X1), X2) -> cons(X1, X2)
1058.78/297.14	  , cons(mark(X1), X2) -> cons(X1, X2)
1058.78/297.14	  , and(X1, active(X2)) -> and(X1, X2)
1058.78/297.14	  , and(X1, mark(X2)) -> and(X1, X2)
1058.78/297.14	  , and(active(X1), X2) -> and(X1, X2)
1058.78/297.14	  , and(mark(X1), X2) -> and(X1, X2)
1058.78/297.14	  , length(active(X)) -> length(X)
1058.78/297.14	  , length(mark(X)) -> length(X)
1058.78/297.14	  , s(active(X)) -> s(X)
1058.78/297.14	  , s(mark(X)) -> s(X)
1058.78/297.14	  , take(X1, active(X2)) -> take(X1, X2)
1058.78/297.14	  , take(X1, mark(X2)) -> take(X1, X2)
1058.78/297.14	  , take(active(X1), X2) -> take(X1, X2)
1058.78/297.14	  , take(mark(X1), X2) -> take(X1, X2) }
1058.78/297.14	Obligation:
1058.78/297.14	  derivational complexity
1058.78/297.14	Answer:
1058.78/297.14	  MAYBE
1058.78/297.14	
1058.78/297.14	None of the processors succeeded.
1058.78/297.14	
1058.78/297.14	Details of failed attempt(s):
1058.78/297.14	-----------------------------
1058.78/297.14	1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to
1058.78/297.14	   the following reason:
1058.78/297.14	   
1058.78/297.14	   Computation stopped due to timeout after 297.0 seconds.
1058.78/297.14	
1058.78/297.14	2) 'iteProgress (timeout of 297 seconds)' failed due to the
1058.78/297.14	   following reason:
1058.78/297.14	   
1058.78/297.14	   Fail
1058.78/297.14	
1058.78/297.14	3) 'Fastest (timeout of 60 seconds)' failed due to the following
1058.78/297.14	   reason:
1058.78/297.14	   
1058.78/297.14	   Computation stopped due to timeout after 60.0 seconds.
1058.78/297.14	
1058.78/297.14	4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the
1058.78/297.14	   following reason:
1058.78/297.14	   
1058.78/297.14	   The input cannot be shown compatible
1058.78/297.14	
1058.78/297.14	
1058.78/297.14	Arrrr..
1059.00/297.26	EOF