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