MAYBE
469.35/297.12	MAYBE
469.35/297.12	
469.35/297.12	We are left with following problem, upon which TcT provides the
469.35/297.12	certificate MAYBE.
469.35/297.12	
469.35/297.12	Strict Trs:
469.35/297.12	  { a____(X1, X2) -> __(X1, X2)
469.35/297.12	  , a____(X, nil()) -> mark(X)
469.35/297.12	  , a____(__(X, Y), Z) -> a____(mark(X), a____(mark(Y), mark(Z)))
469.35/297.12	  , a____(nil(), X) -> mark(X)
469.35/297.12	  , mark(__(X1, X2)) -> a____(mark(X1), mark(X2))
469.35/297.12	  , mark(nil()) -> nil()
469.35/297.12	  , mark(tt()) -> tt()
469.35/297.12	  , mark(U11(X)) -> a__U11(mark(X))
469.35/297.12	  , mark(U12(X)) -> a__U12(mark(X))
469.35/297.12	  , mark(isNePal(X)) -> a__isNePal(mark(X))
469.35/297.12	  , a__U11(X) -> U11(X)
469.35/297.12	  , a__U11(tt()) -> a__U12(tt())
469.35/297.12	  , a__U12(X) -> U12(X)
469.35/297.12	  , a__U12(tt()) -> tt()
469.35/297.12	  , a__isNePal(X) -> isNePal(X)
469.35/297.12	  , a__isNePal(__(I, __(P, I))) -> a__U11(tt()) }
469.35/297.12	Obligation:
469.35/297.12	  derivational complexity
469.35/297.12	Answer:
469.35/297.12	  MAYBE
469.35/297.12	
469.35/297.12	None of the processors succeeded.
469.35/297.12	
469.35/297.12	Details of failed attempt(s):
469.35/297.12	-----------------------------
469.35/297.12	1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to
469.35/297.12	   the following reason:
469.35/297.12	   
469.35/297.12	   Computation stopped due to timeout after 297.0 seconds.
469.35/297.12	
469.35/297.12	2) 'Fastest (timeout of 60 seconds)' failed due to the following
469.35/297.12	   reason:
469.35/297.12	   
469.35/297.12	   Computation stopped due to timeout after 60.0 seconds.
469.35/297.12	
469.35/297.12	3) 'iteProgress (timeout of 297 seconds)' failed due to the
469.35/297.12	   following reason:
469.35/297.12	   
469.35/297.12	   Fail
469.35/297.12	
469.35/297.12	4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the
469.35/297.12	   following reason:
469.35/297.12	   
469.35/297.12	   The input cannot be shown compatible
469.35/297.12	
469.35/297.12	
469.35/297.12	Arrrr..
469.35/297.13	EOF