MAYBE
645.11/297.08	MAYBE
645.11/297.08	
645.11/297.08	We are left with following problem, upon which TcT provides the
645.11/297.08	certificate MAYBE.
645.11/297.08	
645.11/297.08	Strict Trs:
645.11/297.08	  { a(a(b(x1))) -> a(x1)
645.11/297.08	  , a(b(a(x1))) -> b(b(a(x1)))
645.11/297.08	  , b(b(x1)) -> a(a(a(x1))) }
645.11/297.08	Obligation:
645.11/297.08	  derivational complexity
645.11/297.08	Answer:
645.11/297.08	  MAYBE
645.11/297.08	
645.11/297.08	None of the processors succeeded.
645.11/297.08	
645.11/297.08	Details of failed attempt(s):
645.11/297.08	-----------------------------
645.11/297.08	1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to
645.11/297.08	   the following reason:
645.11/297.08	   
645.11/297.08	   Computation stopped due to timeout after 297.0 seconds.
645.11/297.08	
645.11/297.08	2) 'Fastest (timeout of 60 seconds)' failed due to the following
645.11/297.08	   reason:
645.11/297.08	   
645.11/297.08	   Computation stopped due to timeout after 60.0 seconds.
645.11/297.08	
645.11/297.08	3) 'iteProgress (timeout of 297 seconds)' failed due to the
645.11/297.08	   following reason:
645.11/297.08	   
645.11/297.08	   Fail
645.11/297.08	
645.11/297.08	4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the
645.11/297.08	   following reason:
645.11/297.08	   
645.11/297.08	   The input cannot be shown compatible
645.11/297.08	
645.11/297.08	
645.11/297.08	Arrrr..
645.11/297.10	EOF