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