60.00/60.02	MAYBE
60.00/60.02	(ignored inputs)COMMENT from experiments for [44] submitted by: Tsubasa Suzuki , Takahito Aoto , and Yoshihito Toyama
60.00/60.02	input TRS:
60.00/60.02	   [ a(?x) -> b(b(b(?x))),
60.00/60.02	     a(?x) -> c(?x),
60.00/60.02	     b(?x) -> b(?x) ]
60.00/60.02	Try persistent and layer-preserving decomposition...
60.00/60.02	Sort Assignment:
60.00/60.02	 a : 10=>10
60.00/60.02	 b : 10=>10
60.00/60.02	 c : 10=>10
60.00/60.02	maximal types: {10}
60.00/60.02	...decomposition failed.
60.00/60.02	TRS:
60.00/60.02	   [ a(?x) -> b(b(b(?x))),
60.00/60.02	     a(?x) -> c(?x),
60.00/60.02	     b(?x) -> b(?x) ]
60.00/60.02	unknown Non-Omega-Overlapping
60.00/60.02	unknown Right-Reducible
60.00/60.02	Check distinct normal forms in critical pair closure...failed
60.00/60.02	New rules by rule reversing:
60.00/60.02	   [ b(b(b(?x))) -> a(?x),
60.00/60.02	     a(?x) -> c(?x),
60.00/60.02	     b(?x) -> b(?x) ]
60.00/60.02	unknown UNC Completion (Strongly Closed)
60.00/60.02	unknown UNC Completion (Development Closed)
60.00/60.02	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(timeout)
60.00/60.02	(64801 msec.)
60.00/60.02	EOF