MAYBE
(ignored inputs)COMMENT TPDB SRS_Standard/Secret_05_SRS/matchbox1
input TRS:
   [ r(e(?x)) -> w(r(?x)),
     i(t(?x)) -> e(r(?x)),
     e(w(?x)) -> r(i(?x)),
     t(e(?x)) -> r(e(?x)),
     w(r(?x)) -> i(t(?x)),
     e(r(?x)) -> e(w(?x)),
     r(i(t(e(r(?x))))) -> e(w(r(i(t(e(?x)))))) ]
TRS:
   [ r(e(?x)) -> w(r(?x)),
     i(t(?x)) -> e(r(?x)),
     e(w(?x)) -> r(i(?x)),
     t(e(?x)) -> r(e(?x)),
     w(r(?x)) -> i(t(?x)),
     e(r(?x)) -> e(w(?x)),
     r(i(t(e(r(?x))))) -> e(w(r(i(t(e(?x)))))) ]
unknown Right-Reducible
problems/956.trs: Failure(unknown UNC)
(0 msec.)