YES
(ignored inputs)COMMENT Cops #647 - #721: generated ground TRSs; evenly distributed in the UNR/UNC/NFP/CR hierarchy submitted by: Bertram Felgenhauer
Input:
   [ b -> h(h(b,a),f(a)),
     h(h(a,c),b) -> b,
     c -> h(h(a,h(a,h(c,b))),f(f(h(h(a,h(h(f(a),c),f(c))),f(h(b,a)))))) ]

Make it flat:
   [ h(!cl_0,b) -> b,
     b -> h(!cr_0,!cr_1),
     !cr_1 -> f(a),
     !cr_0 -> h(b,a),
     !cl_0 -> !cl_0,
     h(a,c) -> !cl_0,
     c -> h(!cr_4,!cr_14),
     !cr_14 -> f(!cr_13),
     !cr_13 -> f(!cr_12),
     !cr_12 -> h(!cr_9,!cr_11),
     !cr_11 -> f(!cr_10),
     !cr_10 -> h(b,a),
     !cr_9 -> h(a,!cr_8),
     !cr_8 -> h(!cr_6,!cr_7),
     !cr_7 -> f(c),
     !cr_6 -> h(!cr_5,c),
     !cr_5 -> f(a),
     !cr_4 -> h(a,!cr_3),
     !cr_3 -> h(a,!cr_2),
     !cr_2 -> h(c,b) ]
Time: 0.004 [s]

Make it Complete (R^):
   [ h(!cl_0,b) = h(!cr_0,!cr_1),
     h(!cl_0,b) = h(!cr_0,!cr_5),
     h(!cl_0,b) = h(!cr_10,!cr_5),
     h(!cl_0,b) = h(!cr_10,!cr_1),
     h(!cl_0,b) = b,
     h(!cr_10,!cr_1) = b,
     h(!cr_10,!cr_5) = b,
     h(!cr_10,!cr_1) = h(!cr_0,!cr_5),
     h(!cr_10,!cr_1) = h(!cr_10,!cr_5),
     h(!cr_0,!cr_5) = h(!cr_10,!cr_5),
     h(!cr_10,!cr_1) = h(!cr_0,!cr_1),
     h(!cr_10,!cr_5) = h(!cr_0,!cr_1),
     h(!cr_0,!cr_5) = h(!cr_0,!cr_1),
     h(!cr_0,!cr_5) = b,
     b = h(!cr_0,!cr_1),
     h(!cr_1,c) = h(!cr_5,c),
     h(!cr_1,c) = !cr_6,
     !cr_1 = !cr_5,
     !cr_1 = f(a),
     f(!cr_0) = f(!cr_10),
     f(!cr_0) = !cr_11,
     !cr_0 = !cr_10,
     !cr_0 = h(b,a),
     h(a,c) = !cl_0,
     c = h(!cr_4,!cr_14),
     !cr_14 = f(!cr_13),
     !cr_13 = f(!cr_12),
     !cr_12 = h(!cr_9,!cr_11),
     !cr_11 = f(!cr_10),
     !cr_10 = h(b,a),
     !cr_9 = h(a,!cr_8),
     !cr_8 = h(!cr_6,!cr_7),
     !cr_7 = f(c),
     !cr_6 = h(!cr_5,c),
     !cr_5 = f(a),
     !cr_4 = h(a,!cr_3),
     !cr_3 = h(a,!cr_2),
     !cr_2 = h(c,b) ]
Time: 0.011 [s]

CPNF:
   [ !cr_1 … f(a),
     a … a ]
Time: 0.000 [s]

Now checking all the pairs in CW...

Time to check pairs: 0.000 [s]

The TRS has Uniqueness of Normal Forms.
Total Time: 0.016 [s]

problems/689.trs: Success(UNC)
real 0.05
user 0.03
sys 0.01