MAYBE
996.49/297.33	MAYBE
996.49/297.33	
996.49/297.33	We are left with following problem, upon which TcT provides the
996.49/297.33	certificate MAYBE.
996.49/297.33	
996.49/297.33	Strict Trs:
996.49/297.33	  { a(a(b(b(x1)))) -> b(b(c(c(a(a(x1))))))
996.49/297.33	  , a(a(c(c(x1)))) -> c(c(a(a(b(b(x1))))))
996.49/297.33	  , b(b(c(c(x1)))) -> c(c(b(b(b(b(x1)))))) }
996.49/297.33	Obligation:
996.49/297.33	  derivational complexity
996.49/297.33	Answer:
996.49/297.33	  MAYBE
996.49/297.33	
996.49/297.33	None of the processors succeeded.
996.49/297.33	
996.49/297.33	Details of failed attempt(s):
996.49/297.33	-----------------------------
996.49/297.33	1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to
996.49/297.33	   the following reason:
996.49/297.33	   
996.49/297.33	   Computation stopped due to timeout after 297.0 seconds.
996.49/297.33	
996.49/297.33	2) 'bsearch-matrix (timeout of 297 seconds)' failed due to the
996.49/297.33	   following reason:
996.49/297.33	   
996.49/297.33	   Following exception was raised:
996.49/297.33	     stack overflow
996.49/297.33	
996.49/297.33	3) 'iteProgress (timeout of 297 seconds)' failed due to the
996.49/297.33	   following reason:
996.49/297.33	   
996.49/297.33	   Fail
996.49/297.33	
996.49/297.33	4) 'Fastest (timeout of 60 seconds)' failed due to the following
996.49/297.33	   reason:
996.49/297.33	   
996.49/297.33	   Computation stopped due to timeout after 60.0 seconds.
996.49/297.33	
996.49/297.33	
996.49/297.33	Arrrr..
996.49/297.38	EOF