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