YES
(ignored inputs)COMMENT doi:10.1007/s10817-011-9238-x [33] Example 13 ( R_10 )
Input:
   [ a1 -> b1,
     a1 -> c1,
     b1 -> b2,
     c1 -> c2,
     a2 -> b2,
     a2 -> c2,
     b2 -> b3,
     c2 -> c3,
     a3 -> b3,
     a3 -> c3,
     b3 -> b4,
     c3 -> c4,
     a4 -> b4,
     a4 -> c4,
     b4 -> b5,
     c4 -> c5,
     a5 -> b5,
     a5 -> c5,
     b5 -> b6,
     c5 -> c6,
     a6 -> b6,
     a6 -> c6,
     b6 -> b7,
     c6 -> c7,
     a7 -> b7,
     a7 -> c7,
     b7 -> b8,
     c7 -> c8,
     a8 -> b8,
     a8 -> c8,
     b8 -> b9,
     c8 -> c9,
     a9 -> b9,
     a9 -> c9,
     b9 -> b10,
     c9 -> c10,
     a10 -> b11,
     b10 -> b11,
     c10 -> b11 ]

Make it flat:
   [ a1 -> b1,
     a1 -> c1,
     b1 -> b2,
     c1 -> c2,
     a2 -> b2,
     a2 -> c2,
     b2 -> b3,
     c2 -> c3,
     a3 -> b3,
     a3 -> c3,
     b3 -> b4,
     c3 -> c4,
     a4 -> b4,
     a4 -> c4,
     b4 -> b5,
     c4 -> c5,
     a5 -> b5,
     a5 -> c5,
     b5 -> b6,
     c5 -> c6,
     a6 -> b6,
     a6 -> c6,
     b6 -> b7,
     c6 -> c7,
     a7 -> b7,
     a7 -> c7,
     b7 -> b8,
     c7 -> c8,
     a8 -> b8,
     a8 -> c8,
     b8 -> b9,
     c8 -> c9,
     a9 -> b9,
     a9 -> c9,
     b9 -> b10,
     c9 -> c10,
     a10 -> b11,
     b10 -> b11,
     c10 -> b11 ]
Time: 0.000 [s]

Make it Complete (R^):
   [ a1 = b1,
     a1 = c2,
     a1 = a2,
     a1 = b2,
     a1 = c4,
     a1 = a4,
     a1 = b4,
     a1 = c6,
     a1 = a6,
     a1 = b6,
     a1 = c8,
     a1 = a8,
     a1 = b8,
     a1 = c10,
     a1 = a10,
     a1 = b10,
     a1 = b11,
     a1 = b9,
     a1 = a9,
     a1 = c9,
     a1 = b7,
     a1 = a7,
     a1 = c7,
     a1 = b5,
     a1 = a5,
     a1 = c5,
     a1 = b3,
     a1 = a3,
     a1 = c3,
     a1 = c1,
     b1 = b3,
     b1 = c2,
     b1 = a3,
     b1 = b5,
     b1 = c4,
     b1 = a5,
     b1 = b7,
     b1 = c6,
     b1 = a7,
     b1 = b9,
     b1 = c8,
     b1 = a9,
     b1 = b11,
     b1 = c10,
     b1 = a10,
     b1 = c9,
     b1 = b10,
     b1 = a8,
     b1 = c7,
     b1 = b8,
     b1 = a6,
     b1 = c5,
     b1 = b6,
     b1 = a4,
     b1 = c3,
     b1 = b4,
     b1 = a2,
     b1 = c1,
     b1 = b2,
     c1 = c3,
     c1 = a3,
     c1 = b3,
     c1 = c5,
     c1 = a5,
     c1 = b5,
     c1 = c7,
     c1 = a7,
     c1 = b7,
     c1 = c9,
     c1 = a9,
     c1 = b9,
     c1 = b11,
     c1 = b10,
     c1 = a10,
     c1 = c10,
     c1 = b8,
     c1 = a8,
     c1 = c8,
     c1 = b6,
     c1 = a6,
     c1 = c6,
     c1 = b4,
     c1 = a4,
     c1 = c4,
     c1 = b2,
     c1 = a2,
     c1 = c2,
     a2 = b2,
     a2 = c3,
     a2 = a3,
     a2 = b3,
     a2 = c5,
     a2 = a5,
     a2 = b5,
     a2 = c7,
     a2 = a7,
     a2 = b7,
     a2 = c9,
     a2 = a9,
     a2 = b9,
     a2 = b11,
     a2 = b10,
     a2 = a10,
     a2 = c10,
     a2 = b8,
     a2 = a8,
     a2 = c8,
     a2 = b6,
     a2 = a6,
     a2 = c6,
     a2 = b4,
     a2 = a4,
     a2 = c4,
     a2 = c2,
     b2 = b4,
     b2 = c3,
     b2 = a4,
     b2 = b6,
     b2 = c5,
     b2 = a6,
     b2 = b8,
     b2 = c7,
     b2 = a8,
     b2 = b10,
     b2 = c9,
     b2 = a10,
     b2 = c10,
     b2 = b11,
     b2 = a9,
     b2 = c8,
     b2 = b9,
     b2 = a7,
     b2 = c6,
     b2 = b7,
     b2 = a5,
     b2 = c4,
     b2 = b5,
     b2 = a3,
     b2 = c2,
     b2 = b3,
     c2 = c4,
     c2 = a4,
     c2 = b4,
     c2 = c6,
     c2 = a6,
     c2 = b6,
     c2 = c8,
     c2 = a8,
     c2 = b8,
     c2 = c10,
     c2 = a10,
     c2 = b10,
     c2 = b11,
     c2 = b9,
     c2 = a9,
     c2 = c9,
     c2 = b7,
     c2 = a7,
     c2 = c7,
     c2 = b5,
     c2 = a5,
     c2 = c5,
     c2 = b3,
     c2 = a3,
     c2 = c3,
     a3 = b3,
     a3 = c4,
     a3 = a4,
     a3 = b4,
     a3 = c6,
     a3 = a6,
     a3 = b6,
     a3 = c8,
     a3 = a8,
     a3 = b8,
     a3 = c10,
     a3 = a10,
     a3 = b10,
     a3 = b11,
     a3 = b9,
     a3 = a9,
     a3 = c9,
     a3 = b7,
     a3 = a7,
     a3 = c7,
     a3 = b5,
     a3 = a5,
     a3 = c5,
     a3 = c3,
     b3 = b5,
     b3 = c4,
     b3 = a5,
     b3 = b7,
     b3 = c6,
     b3 = a7,
     b3 = b9,
     b3 = c8,
     b3 = a9,
     b3 = b11,
     b3 = c10,
     b3 = a10,
     b3 = c9,
     b3 = b10,
     b3 = a8,
     b3 = c7,
     b3 = b8,
     b3 = a6,
     b3 = c5,
     b3 = b6,
     b3 = a4,
     b3 = c3,
     b3 = b4,
     c3 = c5,
     c3 = a5,
     c3 = b5,
     c3 = c7,
     c3 = a7,
     c3 = b7,
     c3 = c9,
     c3 = a9,
     c3 = b9,
     c3 = b11,
     c3 = b10,
     c3 = a10,
     c3 = c10,
     c3 = b8,
     c3 = a8,
     c3 = c8,
     c3 = b6,
     c3 = a6,
     c3 = c6,
     c3 = b4,
     c3 = a4,
     c3 = c4,
     a4 = b4,
     a4 = c5,
     a4 = a5,
     a4 = b5,
     a4 = c7,
     a4 = a7,
     a4 = b7,
     a4 = c9,
     a4 = a9,
     a4 = b9,
     a4 = b11,
     a4 = b10,
     a4 = a10,
     a4 = c10,
     a4 = b8,
     a4 = a8,
     a4 = c8,
     a4 = b6,
     a4 = a6,
     a4 = c6,
     a4 = c4,
     b4 = b6,
     b4 = c5,
     b4 = a6,
     b4 = b8,
     b4 = c7,
     b4 = a8,
     b4 = b10,
     b4 = c9,
     b4 = a10,
     b4 = c10,
     b4 = b11,
     b4 = a9,
     b4 = c8,
     b4 = b9,
     b4 = a7,
     b4 = c6,
     b4 = b7,
     b4 = a5,
     b4 = c4,
     b4 = b5,
     c4 = c6,
     c4 = a6,
     c4 = b6,
     c4 = c8,
     c4 = a8,
     c4 = b8,
     c4 = c10,
     c4 = a10,
     c4 = b10,
     c4 = b11,
     c4 = b9,
     c4 = a9,
     c4 = c9,
     c4 = b7,
     c4 = a7,
     c4 = c7,
     c4 = b5,
     c4 = a5,
     c4 = c5,
     a5 = b5,
     a5 = c6,
     a5 = a6,
     a5 = b6,
     a5 = c8,
     a5 = a8,
     a5 = b8,
     a5 = c10,
     a5 = a10,
     a5 = b10,
     a5 = b11,
     a5 = b9,
     a5 = a9,
     a5 = c9,
     a5 = b7,
     a5 = a7,
     a5 = c7,
     a5 = c5,
     b5 = b7,
     b5 = c6,
     b5 = a7,
     b5 = b9,
     b5 = c8,
     b5 = a9,
     b5 = b11,
     b5 = c10,
     b5 = a10,
     b5 = c9,
     b5 = b10,
     b5 = a8,
     b5 = c7,
     b5 = b8,
     b5 = a6,
     b5 = c5,
     b5 = b6,
     c5 = c7,
     c5 = a7,
     c5 = b7,
     c5 = c9,
     c5 = a9,
     c5 = b9,
     c5 = b11,
     c5 = b10,
     c5 = a10,
     c5 = c10,
     c5 = b8,
     c5 = a8,
     c5 = c8,
     c5 = b6,
     c5 = a6,
     c5 = c6,
     a6 = b6,
     a6 = c7,
     a6 = a7,
     a6 = b7,
     a6 = c9,
     a6 = a9,
     a6 = b9,
     a6 = b11,
     a6 = b10,
     a6 = a10,
     a6 = c10,
     a6 = b8,
     a6 = a8,
     a6 = c8,
     a6 = c6,
     b6 = b8,
     b6 = c7,
     b6 = a8,
     b6 = b10,
     b6 = c9,
     b6 = a10,
     b6 = c10,
     b6 = b11,
     b6 = a9,
     b6 = c8,
     b6 = b9,
     b6 = a7,
     b6 = c6,
     b6 = b7,
     c6 = c8,
     c6 = a8,
     c6 = b8,
     c6 = c10,
     c6 = a10,
     c6 = b10,
     c6 = b11,
     c6 = b9,
     c6 = a9,
     c6 = c9,
     c6 = b7,
     c6 = a7,
     c6 = c7,
     a7 = b7,
     a7 = c8,
     a7 = a8,
     a7 = b8,
     a7 = c10,
     a7 = a10,
     a7 = b10,
     a7 = b11,
     a7 = b9,
     a7 = a9,
     a7 = c9,
     a7 = c7,
     b7 = b9,
     b7 = c8,
     b7 = a9,
     b7 = b11,
     b7 = c10,
     b7 = a10,
     b7 = c9,
     b7 = b10,
     b7 = a8,
     b7 = c7,
     b7 = b8,
     c7 = c9,
     c7 = a9,
     c7 = b9,
     c7 = b11,
     c7 = b10,
     c7 = a10,
     c7 = c10,
     c7 = b8,
     c7 = a8,
     c7 = c8,
     a8 = b8,
     a8 = c9,
     a8 = a9,
     a8 = b9,
     a8 = b11,
     a8 = b10,
     a8 = a10,
     a8 = c10,
     a8 = c8,
     b8 = b10,
     b8 = c9,
     b8 = a10,
     b8 = c10,
     b8 = b11,
     b8 = a9,
     b8 = c8,
     b8 = b9,
     c8 = c10,
     c8 = a10,
     c8 = b10,
     c8 = b11,
     c8 = b9,
     c8 = a9,
     c8 = c9,
     a9 = b9,
     a9 = c10,
     a9 = a10,
     a9 = b10,
     a9 = b11,
     a9 = c9,
     b9 = b11,
     b9 = c10,
     b9 = a10,
     b9 = c9,
     b9 = b10,
     c9 = b11,
     c9 = b10,
     c9 = a10,
     c9 = c10,
     a10 = c10,
     a10 = b10,
     a10 = b11,
     b10 = c10,
     b10 = b11,
     c10 = b11 ]
Time: 5.820 [s]

The number of normal forms that must be checked: 1
Time: 0.000 [s]

Now checking all the pairs...

Time to check pairs: 0.000 [s]

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

problems/115.trs: Success(UNC)
real 5.85
user 5.83
sys 0.01