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