0.00/0.02 YES 0.00/0.02 (ignored inputs)COMMENT submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama 0.00/0.02 input TRS: 0.00/0.02 [ H(I(?x)) -> K(J(?x)), 0.00/0.02 J(?x) -> K(J(?x)), 0.00/0.02 I(?x) -> I(J(?x)), 0.00/0.02 J(?x) -> J(K(J(?x))) ] 0.00/0.02 Try persistent and layer-preserving decomposition... 0.00/0.02 Sort Assignment: 0.00/0.02 H : 14=>13 0.00/0.02 I : 13=>14 0.00/0.02 J : 13=>13 0.00/0.02 K : 13=>13 0.00/0.02 maximal types: {13,14} 0.00/0.02 ...decomposition failed. 0.00/0.02 TRS: 0.00/0.02 [ H(I(?x)) -> K(J(?x)), 0.00/0.02 J(?x) -> K(J(?x)), 0.00/0.02 I(?x) -> I(J(?x)), 0.00/0.02 J(?x) -> J(K(J(?x))) ] 0.00/0.02 unknown Non-Omega-Overlapping 0.00/0.02 Right-Reducible 0.00/0.02 /export/starexec/sandbox/benchmark/theBenchmark.trs: Success(UNC) 0.00/0.02 (0 msec.) 0.02/0.02 EOF