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