MAYBE
(ignored inputs)COMMENT TPDB SRS_Standard/Zantema_04/z068
input TRS:
   [ C(?x) -> c(?x),
     c(c(?x)) -> ?x,
     b(b(?x)) -> B(?x),
     B(B(?x)) -> b(?x),
     c(B(c(b(c(?x))))) -> B(c(b(c(B(c(b(?x))))))),
     b(B(?x)) -> ?x,
     B(b(?x)) -> ?x,
     c(C(?x)) -> ?x,
     C(c(?x)) -> ?x ]
TRS:
   [ C(?x) -> c(?x),
     c(c(?x)) -> ?x,
     b(b(?x)) -> B(?x),
     B(B(?x)) -> b(?x),
     c(B(c(b(c(?x))))) -> B(c(b(c(B(c(b(?x))))))),
     b(B(?x)) -> ?x,
     B(b(?x)) -> ?x,
     c(C(?x)) -> ?x,
     C(c(?x)) -> ?x ]
problems/944.trs: Failure(unknown UNC)
(0 msec.)