YES

(format LCTRS :logic QF_LIA)
(fun f2 1 :sort (Int Int))
(fun u_15 1 :sort (Int Int))
(fun u_18 1 :sort (Int Int))

(rule (u_18 w_6_0) w_6_0 :vars ((w_6_0 Int)))
(rule (u_15 w_5_1) (u_18 (f2 w_5_1)) :vars ((w_5_1 Int)))
(rule (f2 x_2) (- x_2 10) :guard (>= x_2 101) :vars ((x_2 Int)))
(rule (f2 x_3) (u_15 (f2 (+ 11 x_3))) :guard (< x_3 101) :vars ((x_3 Int)))

Confluent by Parallel Closedness with proof:
no critical pairs

Elapsed Time:  13.95 ms