MAYBE
1122.24/297.03	MAYBE
1122.24/297.03	
1122.24/297.03	We are left with following problem, upon which TcT provides the
1122.24/297.03	certificate MAYBE.
1122.24/297.03	
1122.24/297.03	Strict Trs:
1122.24/297.03	  { thrice(0(x1)) -> p(s(p(p(p(s(s(s(0(p(s(p(s(x1)))))))))))))
1122.24/297.03	  , thrice(s(x1)) ->
1122.24/297.03	    p(p(s(s(half(p(p(s(s(p(s(sixtimes(p(s(p(p(s(s(x1))))))))))))))))))
1122.24/297.03	  , 0(x1) -> x1
1122.24/297.03	  , p(0(x1)) -> 0(s(s(s(s(x1)))))
1122.24/297.03	  , p(p(s(x1))) -> p(x1)
1122.24/297.03	  , p(s(x1)) -> x1
1122.24/297.03	  , half(0(x1)) -> p(p(s(s(p(s(0(p(s(s(s(s(x1))))))))))))
1122.24/297.03	  , half(s(x1)) ->
1122.24/297.03	    p(s(p(p(s(s(p(p(s(s(half(p(p(s(s(p(s(x1)))))))))))))))))
1122.24/297.03	  , half(s(s(x1))) ->
1122.24/297.03	    p(s(p(s(s(p(p(s(s(half(p(p(s(s(p(s(x1))))))))))))))))
1122.24/297.03	  , sixtimes(0(x1)) -> p(s(p(s(0(s(s(s(s(s(p(s(p(s(x1))))))))))))))
1122.24/297.03	  , sixtimes(s(x1)) ->
1122.24/297.03	    p(p(s(s(s(s(s(s(s(p(p(s(p(s(s(s(sixtimes(p(s(p(p(p(s(s(s(x1))))))))))))))))))))))))) }
1122.24/297.03	Obligation:
1122.24/297.03	  derivational complexity
1122.24/297.03	Answer:
1122.24/297.03	  MAYBE
1122.24/297.03	
1122.24/297.03	None of the processors succeeded.
1122.24/297.03	
1122.24/297.03	Details of failed attempt(s):
1122.24/297.03	-----------------------------
1122.24/297.03	1) 'bsearch-matrix (timeout of 297 seconds)' failed due to the
1122.24/297.03	   following reason:
1122.24/297.03	   
1122.24/297.03	   Computation stopped due to timeout after 297.0 seconds.
1122.24/297.03	
1122.24/297.03	2) 'Inspecting Problem... (timeout of 297 seconds)' failed due to
1122.24/297.03	   the following reason:
1122.24/297.03	   
1122.24/297.03	   Computation stopped due to timeout after 297.0 seconds.
1122.24/297.03	
1122.24/297.03	3) 'iteProgress (timeout of 297 seconds)' failed due to the
1122.24/297.03	   following reason:
1122.24/297.03	   
1122.24/297.03	   Computation stopped due to timeout after 297.0 seconds.
1122.24/297.03	
1122.24/297.03	4) 'Fastest (timeout of 60 seconds)' failed due to the following
1122.24/297.03	   reason:
1122.24/297.03	   
1122.24/297.03	   Computation stopped due to timeout after 60.0 seconds.
1122.24/297.03	
1122.24/297.03	
1122.24/297.03	Arrrr..
1122.72/297.43	EOF