YES (ignored inputs)COMMENT Cops #647 - #721: generated ground TRSs; evenly distributed in the UNR/UNC/NFP/CR hierarchy submitted by: Bertram Felgenhauer Rewrite Rules: [ a -> a, f(h(a,a)) -> f(b), c -> b ] Apply Direct Methods... Inner CPs: [ f(h(a,a)) = f(b), f(h(a,a)) = f(b) ] Outer CPs: [ ] Linear (inner) Parallel CPs: [ f(h(a,a)) = f(b) {}, f(h(a,a)) = f(b) {}, f(h(a,a)) = f(b) {} ] Toyama (Parallel CPs) Direct Methods: CR Combined result: CR 700.trs: Success(CR) (0 msec.)