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