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