MAYBE
(ignored inputs)COMMENT submitted by: Kiraku Shintani secret problem 2019 category: TRS
input TRS:
   [ c(t(?x,?y,?z)) -> c(t(?y,?x,?z)),
     c(t(?x,?y,?z)) -> c(t(?x,?z,?y)),
     c(t(?x,?x,?z)) -> true ]
TRS:
   [ c(t(?x,?y,?z)) -> c(t(?y,?x,?z)),
     c(t(?x,?y,?z)) -> c(t(?x,?z,?y)),
     c(t(?x,?x,?z)) -> true ]
unknown Weight-Decreasing Joinable
problems/1133.trs: Failure(unknown UNC)
(5148 msec.)