YES
(ignored inputs)COMMENT Cops #647 - #721: generated ground TRSs; evenly distributed in the UNR/UNC/NFP/CR hierarchy submitted by: Bertram Felgenhauer
input TRS:
   [ b -> b,
     a -> h(f(c),h(a,f(c))),
     f(f(h(a,h(b,b)))) -> a,
     h(c,c) -> b,
     b -> h(f(b),b) ]
TRS:
   [ b -> b,
     a -> h(f(c),h(a,f(c))),
     f(f(h(a,h(b,b)))) -> a,
     h(c,c) -> b,
     b -> h(f(b),b) ]
New rules by rule reversing:
   [ b -> b,
     a -> a,
     h(f(c),h(a,f(c))) -> a,
     f(f(h(a,h(b,b)))) -> a,
     h(c,c) -> b,
     b -> b,
     h(f(b),b) -> b ]
confluent TRS:
   [ b -> b,
     a -> a,
     h(f(c),h(a,f(c))) -> a,
     f(f(h(a,h(b,b)))) -> a,
     h(c,c) -> b,
     b -> b,
     h(f(b),b) -> b ]
UNC Completion (Development Closed)
problems/666.trs: Success(UNC)
(0 msec.)