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),
     b(e(?x_3)) -> ?x_3,
     d(b(e(?x))) -> b(e(?x)),
     e(d(b(?x))) -> c(?x) ]
convertible distinct normal forms: c(e(?x_8)) = ?x_8
UNC Completion (Development Closed)
problems/957.trs: Success(not UNC)
(4 msec.)