MAYBE

(format LCTRS :logic QF_LIA)
(fun max 2 :sort (Int Int Int))

(rule (max x_0 y_1) x_0 :guard (>= x_0 y_1) :vars ((x_0 Int) (y_1 Int)))
(rule (max x_2 y_3) y_3 :guard (>= y_3 x_2) :vars ((x_2 Int) (y_3 Int)))
(rule (max x_4 y_5) (max y_5 x_4) :vars ((x_4 Int) (y_5 Int)))

Confluence could not be determined.

Elapsed Time:  10.08 ms