NO
(ignored inputs)COMMENT TPDB SRS_Standard/Secret_07_SRS/x02
input TRS:
   [ a(b(?x)) -> c(d(?x)),
     d(d(?x)) -> b(e(?x)),
     b(?x) -> d(c(?x)),
     d(?x) -> ?x,
     e(c(?x)) -> d(a(?x)),
     a(?x) -> e(d(?x)) ]
TRS:
   [ a(b(?x)) -> c(d(?x)),
     d(d(?x)) -> b(e(?x)),
     b(?x) -> d(c(?x)),
     d(?x) -> ?x,
     e(c(?x)) -> d(a(?x)),
     a(?x) -> e(d(?x)) ]
constructed TRS:
   [ a(b(?x)) -> c(d(?x)),
     d(d(?x)) -> b(e(?x)),
     b(?x) -> d(c(?x)),
     d(?x) -> ?x,
     e(c(?x)) -> d(a(?x)),
     a(?x) -> e(d(?x)),
     a(d(c(?x_2))) -> c(?x_2),
     e(d(b(?x))) -> c(?x),
     b(e(?x_1)) -> ?x_1,
     a(?x_8) -> c(e(?x_8)),
     d(c(e(?x_8))) -> ?x_8,
     e(d(d(c(?x_6)))) -> c(?x_6),
     a(c(?x_6)) -> c(?x_6),
     e(b(?x_7)) -> c(?x_7),
     e(d(?x_8)) -> c(e(?x_8)),
     b(d(a(?x_4))) -> c(?x_4),
     b(c(?x_7)) -> b(?x_7) ]
convertible distinct normal forms: e(?x_3) = c(e(?x_3))
UNC Completion (Strongly Closed)
problems/957.trs: Success(not UNC)
(4 msec.)