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

Make it flat:
   [ f(!cl_31) -> c,
     !cl_31 -> !cl_31,
     f(!cl_30) -> !cl_31,
     !cl_29 -> !cl_29,
     f(!cl_28) -> !cl_29,
     !cl_27 -> !cl_27,
     h(c,!cl_26) -> !cl_27,
     !cl_25 -> !cl_25,
     f(!cl_24) -> !cl_25,
     !cl_23 -> !cl_23,
     h(!cl_6,!cl_22) -> !cl_23,
     !cl_21 -> !cl_21,
     h(c,!cl_20) -> !cl_21,
     !cl_19 -> !cl_19,
     h(b,!cl_18) -> !cl_19,
     !cl_17 -> !cl_17,
     f(!cl_16) -> !cl_17,
     !cl_15 -> !cl_15,
     h(c,!cl_1) -> !cl_15,
     !cl_13 -> !cl_13,
     f(!cl_12) -> !cl_13,
     !cl_11 -> !cl_11,
     f(!cl_10) -> !cl_11,
     !cl_9 -> !cl_9,
     f(!cl_8) -> !cl_9,
     !cl_7 -> !cl_7,
     h(b,a) -> !cl_7,
     !cl_5 -> !cl_5,
     f(!cl_3) -> !cl_5,
     !cl_3 -> !cl_3,
     f(!cl_1) -> !cl_3,
     !cl_1 -> !cl_1,
     f(a) -> !cl_1,
     f(c) -> !cl_0,
     b -> f(a),
     a -> c,
     a -> a,
     !cr_0 -> f(c),
     !cr_1 -> f(!cr_0),
     !cr_2 -> h(b,a),
     h(!cl_1,a) -> !cl_2,
     !cl_2 -> !cl_2,
     h(!cl_2,c) -> !cl_4,
     !cl_4 -> !cl_4,
     h(!cl_4,a) -> !cl_6,
     !cl_6 -> !cl_6,
     h(c,!cl_5) -> h(!cr_1,!cr_2),
     f(b) -> !cl_8,
     !cl_8 -> !cl_8,
     h(!cl_8,!cl_9) -> !cl_10,
     !cl_10 -> !cl_10,
     h(!cl_11,a) -> !cl_12,
     !cl_12 -> !cl_12,
     h(!cl_7,!cl_13) -> !cl_14,
     !cl_14 -> !cl_14,
     h(!cl_15,a) -> !cl_16,
     !cl_16 -> !cl_16,
     f(!cl_17) -> !cl_18,
     !cl_18 -> !cl_18,
     f(!cl_19) -> !cl_20,
     !cl_20 -> !cl_20,
     h(!cl_14,!cl_21) -> !cl_22,
     !cl_22 -> !cl_22,
     f(!cl_23) -> !cl_24,
     !cl_24 -> !cl_24,
     h(!cl_0,!cl_25) -> !cl_26,
     !cl_26 -> !cl_26,
     h(!cl_27,!cl_9) -> !cl_28,
     !cl_28 -> !cl_28,
     f(!cl_29) -> !cl_30,
     !cl_30 -> !cl_30 ]
Time: 0.083 [s]

Make it Complete (R^):
   [ a = f(!cl_31),
     f(!cl_31) = c,
     f(!cl_30) = !cl_31,
     f(!cl_28) = !cl_29,
     h(a,!cl_26) = h(c,!cl_26),
     h(a,!cl_26) = !cl_27,
     h(c,!cl_26) = !cl_27,
     f(!cl_24) = !cl_25,
     h(!cl_6,!cl_22) = !cl_23,
     h(a,!cl_20) = h(c,!cl_20),
     h(a,!cl_20) = !cl_21,
     h(c,!cl_20) = !cl_21,
     h(!cr_0,!cl_18) = !cl_19,
     h(!cl_0,!cl_18) = !cl_19,
     h(!cr_0,!cl_18) = h(!cl_1,!cl_18),
     h(!cl_0,!cl_18) = h(!cl_1,!cl_18),
     h(!cl_0,!cl_18) = h(b,!cl_18),
     h(!cl_0,!cl_18) = h(!cr_0,!cl_18),
     h(!cr_0,!cl_18) = h(b,!cl_18),
     h(!cl_1,!cl_18) = h(b,!cl_18),
     h(!cl_1,!cl_18) = !cl_19,
     h(b,!cl_18) = !cl_19,
     f(!cl_16) = !cl_17,
     h(a,!cl_1) = !cl_15,
     h(c,!cl_0) = !cl_15,
     h(c,b) = !cl_15,
     h(a,!cr_0) = !cl_15,
     h(a,!cl_1) = h(c,!cr_0),
     h(c,!cl_0) = h(c,!cr_0),
     h(c,b) = h(c,!cr_0),
     h(a,!cr_0) = h(c,!cl_1),
     h(c,b) = h(c,!cl_1),
     h(a,!cl_1) = h(c,!cl_0),
     h(c,b) = h(c,!cl_0),
     h(a,!cl_1) = h(a,!cl_0),
     h(c,!cl_0) = h(a,!cl_0),
     h(c,b) = h(a,!cl_0),
     h(c,!cr_0) = h(a,!cl_0),
     h(a,b) = h(c,!cl_1),
     h(a,!cl_1) = h(c,!cl_1),
     h(a,b) = h(c,!cr_0),
     h(c,!cl_0) = h(a,b),
     h(a,!cr_0) = h(a,b),
     h(a,!cl_1) = h(a,b),
     h(a,b) = h(c,b),
     h(a,!cl_1) = h(c,b),
     h(c,b) = h(a,!cr_0),
     h(c,!cr_0) = h(a,!cr_0),
     h(c,!cl_0) = h(a,!cr_0),
     h(a,!cl_1) = h(a,!cr_0),
     h(a,!cr_0) = h(a,!cl_0),
     h(a,b) = h(a,!cl_0),
     h(a,b) = !cl_15,
     h(a,!cl_0) = !cl_15,
     h(a,!cl_0) = h(c,!cl_1),
     h(c,!cl_0) = h(c,!cl_1),
     h(c,!cr_0) = h(c,!cl_1),
     h(c,!cr_0) = !cl_15,
     h(c,!cl_1) = !cl_15,
     f(!cl_12) = !cl_13,
     f(!cl_10) = !cl_11,
     f(!cr_1) = !cl_9,
     f(!cl_3) = !cl_9,
     h(c,!cl_9) = h(!cr_1,!cr_2),
     h(a,!cl_9) = h(!cr_1,!cr_2),
     h(c,!cl_9) = h(a,!cl_5),
     h(a,!cl_9) = h(c,!cl_5),
     h(a,!cl_9) = h(!cl_8,!cr_2),
     h(c,!cl_9) = h(!cl_8,!cr_2),
     h(c,!cl_9) = h(!cl_8,!cl_2),
     h(a,!cl_9) = h(!cl_8,!cl_2),
     h(a,!cl_9) = h(!cr_1,!cl_2),
     h(c,!cl_9) = h(!cr_1,!cl_2),
     h(c,!cl_9) = h(!cl_3,!cl_2),
     h(a,!cl_9) = h(!cl_3,!cl_2),
     h(a,!cl_9) = h(!cl_3,!cr_2),
     h(c,!cl_9) = h(!cl_3,!cr_2),
     h(a,!cl_9) = h(!cl_3,!cl_7),
     h(c,!cl_9) = h(!cl_3,!cl_7),
     h(c,!cl_9) = h(!cr_1,!cl_7),
     h(a,!cl_9) = h(!cr_1,!cl_7),
     h(a,!cl_9) = h(a,!cl_5),
     h(a,!cl_9) = h(c,!cl_9),
     h(a,!cl_9) = h(!cl_8,!cl_7),
     h(c,!cl_9) = h(c,!cl_5),
     h(c,!cl_9) = h(!cl_8,!cl_7),
     h(!cl_27,!cl_5) = h(!cl_27,!cl_9),
     h(!cl_27,!cl_5) = !cl_28,
     h(!cl_8,!cl_5) = !cl_10,
     h(!cr_1,!cl_5) = !cl_10,
     h(!cl_8,!cl_5) = h(!cr_1,!cl_9),
     h(!cr_1,!cl_5) = h(!cl_8,!cl_9),
     h(!cl_8,!cl_5) = h(!cl_3,!cl_9),
     h(!cl_8,!cl_5) = h(!cl_8,!cl_9),
     h(!cl_3,!cl_5) = h(!cl_8,!cl_9),
     h(!cl_3,!cl_5) = h(!cr_1,!cl_9),
     h(!cr_1,!cl_9) = h(!cr_1,!cl_5),
     h(!cl_8,!cl_5) = h(!cl_3,!cl_5),
     h(!cl_8,!cl_5) = h(!cr_1,!cl_5),
     h(!cl_3,!cl_5) = h(!cr_1,!cl_5),
     h(!cr_1,!cl_5) = h(!cl_3,!cl_9),
     h(!cl_3,!cl_5) = h(!cl_3,!cl_9),
     h(!cl_3,!cl_5) = !cl_10,
     !cl_9 = !cl_5,
     f(!cl_8) = !cl_9,
     h(b,c) = !cl_7,
     h(!cr_0,a) = !cl_7,
     h(!cl_0,a) = !cl_7,
     h(!cl_1,a) = !cl_7,
     !cl_7 = !cr_2,
     !cl_7 = h(!cr_0,c),
     !cl_7 = h(!cl_0,c),
     h(!cl_7,c) = !cl_4,
     h(!cl_7,a) = !cl_4,
     h(!cl_7,c) = h(!cl_2,a),
     h(!cl_7,a) = h(!cl_2,c),
     h(!cl_7,c) = h(!cr_2,a),
     h(!cl_2,c) = h(!cl_7,c),
     h(!cl_7,c) = h(!cl_7,a),
     h(!cl_7,c) = h(!cr_2,c),
     h(!cl_7,a) = h(!cr_2,a),
     h(!cl_7,a) = h(!cl_2,a),
     h(!cl_7,a) = h(!cr_2,c),
     h(!cl_8,!cl_7) = h(c,!cl_5),
     h(!cl_8,!cl_7) = h(!cl_8,!cr_2),
     h(!cl_8,!cl_7) = h(!cr_1,!cr_2),
     h(!cr_1,!cl_7) = h(!cr_1,!cr_2),
     h(!cl_8,!cl_7) = h(!cr_1,!cl_2),
     h(!cr_1,!cl_7) = h(!cl_8,!cl_2),
     h(!cr_1,!cl_7) = h(!cl_8,!cr_2),
     h(!cl_8,!cl_7) = h(a,!cl_5),
     h(!cr_1,!cl_7) = h(a,!cl_5),
     h(!cr_1,!cl_7) = h(c,!cl_5),
     h(!cl_3,!cl_7) = h(c,!cl_5),
     h(!cr_1,!cl_7) = h(!cl_3,!cl_2),
     h(!cl_3,!cl_7) = h(!cr_1,!cl_2),
     h(!cl_3,!cl_7) = h(a,!cl_5),
     h(!cl_3,!cl_7) = h(!cl_8,!cr_2),
     h(!cl_8,!cl_7) = h(!cl_3,!cl_2),
     h(!cl_3,!cl_7) = h(!cl_8,!cl_2),
     h(!cl_3,!cl_7) = h(!cr_1,!cr_2),
     h(!cl_3,!cl_2) = h(!cl_3,!cl_7),
     h(!cl_3,!cl_7) = h(!cl_3,!cr_2),
     h(!cr_1,!cl_7) = h(!cr_1,!cl_2),
     h(!cl_3,!cl_7) = h(!cr_1,!cl_7),
     h(!cl_3,!cl_7) = h(!cl_8,!cl_7),
     h(!cr_1,!cl_7) = h(!cl_8,!cl_7),
     h(!cr_1,!cl_7) = h(!cl_3,!cr_2),
     h(!cl_8,!cl_7) = h(!cl_8,!cl_2),
     h(!cl_8,!cl_7) = h(!cl_3,!cr_2),
     h(!cr_2,!cl_13) = !cl_14,
     h(!cl_2,!cl_13) = h(!cr_2,!cl_13),
     h(!cr_2,!cl_13) = h(!cl_7,!cl_13),
     h(!cl_2,!cl_13) = h(!cl_7,!cl_13),
     h(!cl_2,!cl_13) = !cl_14,
     !cl_7 = !cl_2,
     !cl_7 = h(!cl_1,c),
     h(b,a) = !cl_7,
     f(!cr_1) = !cl_5,
     f(!cr_1) = f(!cl_8),
     f(!cr_1) = f(!cl_3),
     f(!cl_8) = f(!cl_3),
     f(!cl_8) = !cl_5,
     f(!cl_3) = !cl_5,
     f(!cl_0) = !cl_3,
     f(b) = !cl_3,
     f(!cr_0) = !cl_3,
     !cl_3 = !cl_8,
     h(!cl_3,!cr_2) = h(c,!cl_5),
     h(!cl_3,!cr_2) = h(a,!cl_5),
     h(!cl_3,!cl_9) = !cl_10,
     h(!cr_1,!cl_9) = h(!cl_3,!cl_9),
     h(!cl_3,!cl_9) = h(!cl_8,!cl_9),
     h(!cl_3,!cr_2) = h(!cl_8,!cr_2),
     h(!cl_3,!cr_2) = h(!cl_8,!cl_2),
     h(!cl_3,!cr_2) = h(!cr_1,!cl_2),
     h(!cl_3,!cr_2) = h(!cl_3,!cl_2),
     h(!cl_3,!cr_2) = h(!cr_1,!cr_2),
     h(!cl_3,!cl_2) = h(!cr_1,!cr_2),
     h(!cl_3,!cl_2) = h(!cl_8,!cl_2),
     h(!cl_3,!cl_2) = h(!cl_8,!cr_2),
     h(!cl_3,!cl_2) = h(a,!cl_5),
     h(!cl_3,!cl_2) = h(!cr_1,!cl_2),
     h(!cl_3,!cl_2) = h(c,!cl_5),
     !cl_3 = !cr_1,
     f(!cl_1) = !cl_3,
     f(c) = !cl_1,
     !cl_1 = !cr_0,
     !cl_1 = b,
     h(!cl_1,!cl_25) = !cl_26,
     h(!cl_1,!cl_25) = h(b,!cl_25),
     h(!cl_0,!cl_25) = h(!cl_1,!cl_25),
     h(!cl_1,!cl_25) = h(!cr_0,!cl_25),
     f(!cl_1) = !cr_1,
     f(!cl_1) = f(b),
     f(!cl_1) = f(!cr_0),
     h(!cl_1,c) = h(!cr_0,a),
     h(!cl_1,c) = h(b,c),
     h(!cl_1,c) = h(!cr_0,c),
     h(!cl_1,a) = h(!cr_0,a),
     h(!cl_1,c) = h(!cl_0,a),
     h(!cl_1,a) = h(!cl_0,c),
     h(!cl_1,a) = h(b,a),
     h(!cl_1,a) = h(!cr_0,c),
     h(!cl_1,c) = h(b,a),
     h(!cl_1,a) = h(b,c),
     h(!cl_1,c) = !cr_2,
     h(!cl_1,a) = !cr_2,
     f(!cl_1) = f(!cl_0),
     f(!cl_1) = !cl_8,
     h(!cl_0,a) = h(!cl_1,a),
     h(!cl_0,a) = !cl_2,
     h(b,c) = !cl_2,
     h(!cr_0,c) = !cl_2,
     h(!cl_0,c) = h(!cl_1,c),
     !cl_2 = h(!cr_0,a),
     !cl_2 = h(b,a),
     h(!cr_1,!cl_2) = h(c,!cl_5),
     h(!cr_1,!cl_2) = h(a,!cl_5),
     h(!cl_8,!cl_2) = h(a,!cl_5),
     h(!cr_1,!cl_2) = h(!cl_8,!cr_2),
     h(!cr_1,!cl_2) = h(!cl_8,!cl_2),
     h(!cr_1,!cl_2) = h(!cr_1,!cr_2),
     h(!cl_8,!cl_2) = h(!cr_1,!cr_2),
     h(!cl_8,!cl_2) = h(!cl_8,!cr_2),
     h(!cl_8,!cl_2) = h(c,!cl_5),
     h(!cr_2,c) = !cl_4,
     h(!cr_2,a) = !cl_4,
     h(!cr_2,c) = h(!cl_2,a),
     h(!cl_2,a) = h(!cr_2,a),
     h(!cr_2,c) = h(!cr_2,a),
     h(!cr_2,c) = h(!cl_2,c),
     h(!cr_2,a) = h(!cl_2,c),
     !cl_2 = !cr_2,
     h(!cl_0,c) = !cl_2,
     !cl_1 = !cl_0,
     f(a) = !cl_1,
     f(a) = !cl_0,
     !cl_0 = !cr_0,
     f(!cl_0) = !cl_8,
     h(!cl_0,a) = !cr_2,
     h(!cl_0,c) = !cr_2,
     h(!cl_0,a) = h(b,c),
     h(!cl_0,c) = h(b,a),
     h(!cl_0,a) = h(!cr_0,c),
     h(b,a) = h(!cl_0,a),
     h(!cl_0,a) = h(!cl_0,c),
     h(!cl_0,a) = h(!cr_0,a),
     h(!cl_0,c) = h(!cr_0,c),
     h(!cl_0,c) = h(b,c),
     h(!cl_0,c) = h(!cr_0,a),
     f(!cl_0) = f(!cr_0),
     f(!cl_0) = f(b),
     f(!cl_0) = !cr_1,
     h(!cr_0,!cl_25) = !cl_26,
     h(b,!cl_25) = h(!cr_0,!cl_25),
     h(!cr_0,!cl_25) = h(!cl_0,!cl_25),
     h(b,!cl_25) = h(!cl_0,!cl_25),
     h(b,!cl_25) = !cl_26,
     !cl_0 = b,
     f(c) = !cl_0,
     f(c) = b,
     f(b) = !cr_1,
     f(!cr_0) = f(b),
     h(!cl_8,!cr_2) = h(c,!cl_5),
     h(!cl_8,!cr_2) = h(!cr_1,!cr_2),
     h(!cl_8,!cr_2) = h(a,!cl_5),
     h(!cr_1,!cl_9) = h(!cl_8,!cl_9),
     h(!cr_1,!cl_9) = !cl_10,
     !cl_8 = !cr_1,
     f(!cr_0) = !cl_8,
     h(!cr_0,a) = !cr_2,
     h(!cr_0,c) = !cr_2,
     h(!cr_0,a) = h(b,c),
     h(b,c) = h(!cr_0,c),
     h(!cr_0,a) = h(!cr_0,c),
     h(!cr_0,a) = h(b,a),
     h(!cr_0,c) = h(b,a),
     b = !cr_0,
     b = f(a),
     h(a,!cl_5) = h(c,!cl_5),
     h(a,!cl_5) = h(!cr_1,!cr_2),
     h(!cl_2,a) = h(!cl_2,c),
     h(!cl_2,a) = !cl_4,
     f(a) = f(c),
     f(a) = !cr_0,
     h(!cl_15,c) = h(!cl_15,a),
     h(!cl_15,c) = !cl_16,
     h(!cl_11,c) = h(!cl_11,a),
     h(!cl_11,c) = !cl_12,
     h(!cl_4,c) = h(!cl_4,a),
     h(!cl_4,c) = !cl_6,
     h(!cl_1,c) = h(!cl_1,a),
     h(!cl_1,c) = !cl_2,
     h(b,c) = h(b,a),
     h(b,c) = !cr_2,
     a = c,
     !cr_0 = f(c),
     !cr_1 = f(!cr_0),
     !cr_2 = h(b,a),
     h(!cl_1,a) = !cl_2,
     h(!cl_2,c) = !cl_4,
     h(!cl_4,a) = !cl_6,
     h(c,!cl_5) = h(!cr_1,!cr_2),
     f(b) = !cl_8,
     h(!cl_8,!cl_9) = !cl_10,
     h(!cl_11,a) = !cl_12,
     h(!cl_7,!cl_13) = !cl_14,
     h(!cl_15,a) = !cl_16,
     f(!cl_17) = !cl_18,
     f(!cl_19) = !cl_20,
     h(!cl_14,!cl_21) = !cl_22,
     f(!cl_23) = !cl_24,
     h(!cl_0,!cl_25) = !cl_26,
     h(!cl_27,!cl_9) = !cl_28,
     f(!cl_29) = !cl_30 ]
Time: 0.911 [s]

CPNF:
   [ a … f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),f(f(!cl_0))))))),
     !cl_31 … f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),f(f(!cl_0)))))),
     !cl_30 … f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),f(f(!cl_0))))),
     !cl_29 … f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),f(f(!cl_0)))),
     !cl_28 … h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),f(f(!cl_0))),
     !cl_27 … h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),
     !cl_26 … h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c))))))))))),
     !cl_25 … f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))),
     !cl_24 … f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c))))))))),
     !cl_23 … h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))),
     !cl_22 … h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c))))))),
     !cl_21 … h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))),
     !cl_14 … h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),
     !cl_20 … f(h(!cl_0,f(f(h(h(c,!cl_0),c))))),
     !cl_13 … f(h(f(h(f(!cl_0),f(f(!cl_0)))),c)),
     !cl_12 … h(f(h(f(!cl_0),f(f(!cl_0)))),c),
     !cl_19 … h(!cl_0,f(f(h(h(c,!cl_0),c)))),
     !cl_18 … f(f(h(h(c,!cl_0),c))),
     !cl_11 … f(h(f(!cl_0),f(f(!cl_0)))),
     !cl_6 … h(h(h(!cl_0,c),c),c),
     !cl_10 … h(f(!cl_0),f(f(!cl_0))),
     !cl_17 … f(h(h(c,!cl_0),c)),
     !cl_5 … f(f(!cl_0)),
     !cl_16 … h(h(c,!cl_0),c),
     !cl_4 … h(h(!cl_0,c),c),
     !cl_3 … f(!cl_0),
     !cl_2 … h(!cl_0,c),
     !cl_15 … h(c,!cl_0),
     a … c,
     !cl_0 … !cl_0 ]
Time: 0.005 [s]

The TRS doesn't have Uniqueness of Normal Forms.
Counter Example: 
     f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),f(f(!cl_0)))))))
<->* c

proof:
     f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(c,!cl_0),c)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(f(!cl_0)))),c))),h(c,f(h(!cl_0,f(f(h(h(a,!cl_0),c)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(!cr_1))),c))),h(c,f(h(!cl_0,f(f(h(h(a,!cl_0),c)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(!cl_8))),c))),h(c,f(h(!cl_0,f(f(h(h(a,!cl_0),c)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(!cl_3))),c))),h(c,f(h(!cl_0,f(f(h(h(a,!cl_0),c)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(!cl_3))),c))),h(c,f(h(!cl_0,f(f(h(!cl_15,c)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(f(!cl_0),f(!cl_3))),c))),h(c,f(h(!cl_0,f(f(h(!cl_15,a)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(!cr_1,f(!cl_3))),c))),h(c,f(h(!cl_0,f(f(h(!cl_15,a)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(!cl_8,f(!cl_3))),c))),h(c,f(h(!cl_0,f(f(h(!cl_15,a)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(!cl_3,f(!cl_3))),c))),h(c,f(h(!cl_0,f(f(h(!cl_15,a)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(!cl_3,!cl_5)),c))),h(c,f(h(!cl_0,f(f(h(!cl_15,a)))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(h(!cl_3,!cl_5)),c))),h(c,f(h(!cl_0,f(f(!cl_16))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(!cl_10),c))),h(c,f(h(!cl_0,f(f(!cl_16))))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(f(!cl_10),c))),h(c,f(h(!cl_0,f(!cl_17)))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(!cl_11,c))),h(c,f(h(!cl_0,f(!cl_17)))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(!cl_11,a))),h(c,f(h(!cl_0,f(!cl_17)))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,c),c),c),h(h(h(!cl_0,c),f(h(!cl_11,a))),h(c,f(h(!cl_0,!cl_18))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,a),c),c),h(h(h(!cl_0,c),f(h(!cl_11,a))),h(c,f(h(!cl_0,!cl_18))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,a),c),c),h(h(h(!cl_0,a),f(h(!cl_11,a))),h(c,f(h(!cl_0,!cl_18))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,a),c),c),h(h(h(!cl_0,a),f(!cl_12)),h(c,f(h(!cl_0,!cl_18))))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(h(!cl_0,a),c),c),h(h(h(!cl_0,a),f(!cl_12)),h(c,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cr_2,c),c),h(h(h(!cl_0,a),f(!cl_12)),h(c,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cl_2,c),c),h(h(h(!cl_0,a),f(!cl_12)),h(c,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cl_2,a),c),h(h(h(!cl_0,a),f(!cl_12)),h(c,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cl_2,a),c),h(h(!cr_2,f(!cl_12)),h(c,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cl_2,a),c),h(h(!cl_2,f(!cl_12)),h(c,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cl_2,a),c),h(h(!cl_2,!cl_13),h(c,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cl_2,a),c),h(h(!cl_2,!cl_13),h(a,f(!cl_19)))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(h(!cl_2,a),c),h(h(!cl_2,!cl_13),h(a,!cl_20))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(!cl_4,c),h(h(!cl_2,!cl_13),h(a,!cl_20))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(!cl_4,a),h(h(!cl_2,!cl_13),h(a,!cl_20))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(!cl_4,a),h(!cl_14,h(a,!cl_20))))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(h(!cl_4,a),h(!cl_14,!cl_21)))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(!cl_6,h(!cl_14,!cl_21)))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(h(!cl_6,!cl_22))))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(f(!cl_23)))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,f(!cl_24))),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(c,h(!cl_0,!cl_25)),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(a,h(!cl_0,!cl_25)),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(a,!cl_26),f(f(!cl_0)))))))
->R^ f(f(f(f(h(h(a,!cl_26),f(!cr_1))))))
->R^ f(f(f(f(h(h(a,!cl_26),f(!cl_8))))))
->R^ f(f(f(f(h(h(a,!cl_26),f(!cl_3))))))
->R^ f(f(f(f(h(!cl_27,f(!cl_3))))))
->R^ f(f(f(f(h(!cl_27,!cl_5)))))
->R^ f(f(f(f(!cl_28))))
->R^ f(f(f(!cl_29)))
->R^ f(f(!cl_30))
->R^ f(!cl_31)
->R^ c
->R^ a

     c
->R^ a
Total Time: 1.045 [s]

problems/680.trs: Success(not UNC)
real 1.06
user 1.06
sys 0.00