MAYBE
958.74/297.10	MAYBE
958.74/297.10	
958.74/297.10	We are left with following problem, upon which TcT provides the
958.74/297.10	certificate MAYBE.
958.74/297.10	
958.74/297.10	Strict Trs:
958.74/297.10	  { active(incr(nil())) -> mark(nil())
958.74/297.10	  , active(incr(cons(X, L))) -> mark(cons(s(X), incr(L)))
958.74/297.10	  , active(adx(nil())) -> mark(nil())
958.74/297.10	  , active(adx(cons(X, L))) -> mark(incr(cons(X, adx(L))))
958.74/297.10	  , active(nats()) -> mark(adx(zeros()))
958.74/297.10	  , active(zeros()) -> mark(cons(0(), zeros()))
958.74/297.10	  , active(head(cons(X, L))) -> mark(X)
958.74/297.10	  , active(tail(cons(X, L))) -> mark(L)
958.74/297.10	  , incr(active(X)) -> incr(X)
958.74/297.10	  , incr(mark(X)) -> incr(X)
958.74/297.10	  , mark(incr(X)) -> active(incr(mark(X)))
958.74/297.10	  , mark(nil()) -> active(nil())
958.74/297.10	  , mark(cons(X1, X2)) -> active(cons(mark(X1), X2))
958.74/297.10	  , mark(s(X)) -> active(s(mark(X)))
958.74/297.10	  , mark(adx(X)) -> active(adx(mark(X)))
958.74/297.10	  , mark(nats()) -> active(nats())
958.74/297.10	  , mark(zeros()) -> active(zeros())
958.74/297.10	  , mark(0()) -> active(0())
958.74/297.10	  , mark(head(X)) -> active(head(mark(X)))
958.74/297.10	  , mark(tail(X)) -> active(tail(mark(X)))
958.74/297.10	  , cons(X1, active(X2)) -> cons(X1, X2)
958.74/297.10	  , cons(X1, mark(X2)) -> cons(X1, X2)
958.74/297.10	  , cons(active(X1), X2) -> cons(X1, X2)
958.74/297.10	  , cons(mark(X1), X2) -> cons(X1, X2)
958.74/297.10	  , s(active(X)) -> s(X)
958.74/297.10	  , s(mark(X)) -> s(X)
958.74/297.10	  , adx(active(X)) -> adx(X)
958.74/297.10	  , adx(mark(X)) -> adx(X)
958.74/297.10	  , head(active(X)) -> head(X)
958.74/297.10	  , head(mark(X)) -> head(X)
958.74/297.10	  , tail(active(X)) -> tail(X)
958.74/297.10	  , tail(mark(X)) -> tail(X) }
958.74/297.10	Obligation:
958.74/297.10	  derivational complexity
958.74/297.10	Answer:
958.74/297.10	  MAYBE
958.74/297.10	
958.74/297.10	None of the processors succeeded.
958.74/297.10	
958.74/297.10	Details of failed attempt(s):
958.74/297.10	-----------------------------
958.74/297.10	1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to
958.74/297.10	   the following reason:
958.74/297.10	   
958.74/297.10	   Computation stopped due to timeout after 297.0 seconds.
958.74/297.10	
958.74/297.10	2) 'iteProgress (timeout of 297 seconds)' failed due to the
958.74/297.10	   following reason:
958.74/297.10	   
958.74/297.10	   Fail
958.74/297.10	
958.74/297.10	3) 'Fastest (timeout of 60 seconds)' failed due to the following
958.74/297.10	   reason:
958.74/297.10	   
958.74/297.10	   Computation stopped due to timeout after 60.0 seconds.
958.74/297.10	
958.74/297.10	4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the
958.74/297.10	   following reason:
958.74/297.10	   
958.74/297.10	   The input cannot be shown compatible
958.74/297.10	
958.74/297.10	
958.74/297.10	Arrrr..
958.88/297.21	EOF