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