NO
(ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/247020
input TRS:
   [ 0(?x) -> 1(?x),
     0(0(?x)) -> 0(?x),
     3(4(5(?x))) -> 4(3(5(?x))),
     2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 1(0(0(1(0(0(1(0(1(0(1(1(0(1(1(0(1(1(1(1(0(0(1(1(0(1(1(1(1(0(1(1(0(0(0(0(0(0(1(0(0(1(1(0(0(0(0(0(1(0(1(1(1(0(0(0(0(0(1(0(1(0(1(1(0(1(0(1(0(1(0(0(1(1(0(0(0(0(1(0(1(0(0(0(0(1(0(1(0(1(0(1(0(1(0(1(1(0(0(1(1(0(1(1(1(0(0(0(0(0(1(0(1(0(1(1(0(1(0(0(1(1(1(1(0(1(0(1(0(0(1(0(1(1(1(1(0(0(1(1(1(0(0(1(1(0(1(1(0(0(0(1(0(0(0(1(1(0(1(1(1(1(1(1(0(1(1(0(1(1(1(1(0(1(0(1(1(0(0(1(0(1(1(1(0(0(1(1(1(1(0(0(0(0(0(0(1(1(0(1(1(0(1(0(1(0(0(1(0(0(0(1(0(1(1(0(0(1(1(1(0(0(0(0(0(1(1(1(0(0(1(1(0(1(0(0(0(0(1(0(0(1(0(0(0(0(1(0(0(1(1(1(1(0(1(1(0(0(0(1(1(0(0(1(0(1(1(1(1(0(0(0(1(1(1(1(1(0(1(0(1(1(0(1(0(1(0(0(0(0(0(1(1(0(1(0(0(0(1(0(0(1(1(0(0(1(1(1(0(0(0(1(1(0(1(0(1(0(1(0(1(1(0(0(1(1(1(1(0(1(1(0(1(1(0(0(1(1(1(1(0(0(1(1(0(0(1(0(1(1(0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(1(1(0(0(1(1(0(1(1(0(0(0(0(1(0(1(1(0(0(1(0(1(1(1(1(0(1(0(0(0(0(1(1(1(0(1(0(1(1(0(0(0(1(0(0(0(0(1(0(0(1(0(0(0(1(0(1(0(1(1(1(0(0(0(0(0(0(1(1(0(1(1(1(1(0(0(0(1(0(0(0(0(0(1(0(1(0(1(1(1(1(1(1(1(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),
     1(0(0(0(1(1(0(1(1(1(0(0(1(1(1(0(0(0(0(0(1(1(0(1(1(1(0(1(1(0(1(1(1(0(1(1(0(0(1(0(1(1(0(0(0(0(0(0(0(0(1(0(1(0(1(1(0(1(0(1(0(1(0(0(0(1(1(1(0(1(1(1(0(1(0(1(0(1(0(1(0(1(0(1(1(0(1(1(0(1(0(1(1(0(0(0(0(1(1(0(1(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(1(1(1(0(1(0(0(0(1(1(1(1(0(1(0(1(1(1(1(0(0(1(0(0(1(0(0(1(0(1(0(0(0(1(0(1(0(0(1(0(1(1(0(1(1(0(1(1(1(1(0(1(0(1(1(1(0(0(1(0(1(1(0(0(0(0(1(0(1(0(1(0(1(0(0(0(0(0(0(0(1(1(0(1(0(0(1(1(0(1(0(1(1(0(1(0(1(1(0(1(0(1(1(0(0(0(0(0(0(1(1(1(1(1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(1(1(0(0(0(0(1(0(1(1(1(0(1(0(1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(1(1(1(0(0(0(0(0(0(0(1(0(0(1(0(0(0(0(0(0(0(1(1(1(0(0(1(1(1(1(0(1(0(0(0(1(0(1(0(0(1(1(1(0(1(1(0(0(0(1(0(1(0(1(0(0(1(0(0(0(1(1(0(1(0(1(0(1(1(1(0(1(0(0(1(0(0(1(0(1(1(0(1(0(0(0(0(1(0(0(1(1(0(0(0(0(1(1(0(1(0(0(0(1(0(0(1(1(0(0(1(1(0(1(0(1(0(0(1(1(0(1(0(1(0(0(1(1(1(1(0(0(0(1(1(0(0(0(1(0(1(1(1(0(1(1(1(0(1(1(1(0(0(0(1(1(0(1(1(1(0(0(0(1(1(0(1(0(1(1(0(1(1(1(0(1(0(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ]
TRS:
   [ 0(?x) -> 1(?x),
     0(0(?x)) -> 0(?x),
     3(4(5(?x))) -> 4(3(5(?x))),
     2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 1(0(0(1(0(0(1(0(1(0(1(1(0(1(1(0(1(1(1(1(0(0(1(1(0(1(1(1(1(0(1(1(0(0(0(0(0(0(1(0(0(1(1(0(0(0(0(0(1(0(1(1(1(0(0(0(0(0(1(0(1(0(1(1(0(1(0(1(0(1(0(0(1(1(0(0(0(0(1(0(1(0(0(0(0(1(0(1(0(1(0(1(0(1(0(1(1(0(0(1(1(0(1(1(1(0(0(0(0(0(1(0(1(0(1(1(0(1(0(0(1(1(1(1(0(1(0(1(0(0(1(0(1(1(1(1(0(0(1(1(1(0(0(1(1(0(1(1(0(0(0(1(0(0(0(1(1(0(1(1(1(1(1(1(0(1(1(0(1(1(1(1(0(1(0(1(1(0(0(1(0(1(1(1(0(0(1(1(1(1(0(0(0(0(0(0(1(1(0(1(1(0(1(0(1(0(0(1(0(0(0(1(0(1(1(0(0(1(1(1(0(0(0(0(0(1(1(1(0(0(1(1(0(1(0(0(0(0(1(0(0(1(0(0(0(0(1(0(0(1(1(1(1(0(1(1(0(0(0(1(1(0(0(1(0(1(1(1(1(0(0(0(1(1(1(1(1(0(1(0(1(1(0(1(0(1(0(0(0(0(0(1(1(0(1(0(0(0(1(0(0(1(1(0(0(1(1(1(0(0(0(1(1(0(1(0(1(0(1(0(1(1(0(0(1(1(1(1(0(1(1(0(1(1(0(0(1(1(1(1(0(0(1(1(0(0(1(0(1(1(0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(1(1(0(0(1(1(0(1(1(0(0(0(0(1(0(1(1(0(0(1(0(1(1(1(1(0(1(0(0(0(0(1(1(1(0(1(0(1(1(0(0(0(1(0(0(0(0(1(0(0(1(0(0(0(1(0(1(0(1(1(1(0(0(0(0(0(0(1(1(0(1(1(1(1(0(0(0(1(0(0(0(0(0(1(0(1(0(1(1(1(1(1(1(1(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),
     1(0(0(0(1(1(0(1(1(1(0(0(1(1(1(0(0(0(0(0(1(1(0(1(1(1(0(1(1(0(1(1(1(0(1(1(0(0(1(0(1(1(0(0(0(0(0(0(0(0(1(0(1(0(1(1(0(1(0(1(0(1(0(0(0(1(1(1(0(1(1(1(0(1(0(1(0(1(0(1(0(1(0(1(1(0(1(1(0(1(0(1(1(0(0(0(0(1(1(0(1(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(1(1(1(0(1(0(0(0(1(1(1(1(0(1(0(1(1(1(1(0(0(1(0(0(1(0(0(1(0(1(0(0(0(1(0(1(0(0(1(0(1(1(0(1(1(0(1(1(1(1(0(1(0(1(1(1(0(0(1(0(1(1(0(0(0(0(1(0(1(0(1(0(1(0(0(0(0(0(0(0(1(1(0(1(0(0(1(1(0(1(0(1(1(0(1(0(1(1(0(1(0(1(1(0(0(0(0(0(0(1(1(1(1(1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(1(1(0(0(0(0(1(0(1(1(1(0(1(0(1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(1(1(1(0(0(0(0(0(0(0(1(0(0(1(0(0(0(0(0(0(0(1(1(1(0(0(1(1(1(1(0(1(0(0(0(1(0(1(0(0(1(1(1(0(1(1(0(0(0(1(0(1(0(1(0(0(1(0(0(0(1(1(0(1(0(1(0(1(1(1(0(1(0(0(1(0(0(1(0(1(1(0(1(0(0(0(0(1(0(0(1(1(0(0(0(0(1(1(0(1(0(0(0(1(0(0(1(1(0(0(1(1(0(1(0(1(0(0(1(1(0(1(0(1(0(0(1(1(1(1(0(0(0(1(1(0(0(0(1(0(1(1(1(0(1(1(1(0(1(1(1(0(0(0(1(1(0(1(1(1(0(0(0(1(1(0(1(0(1(1(0(1(1(1(0(1(0(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ]
Check distinct normal forms in critical pair closure
convertible distinct normal forms: 1(?x) = 1(1(?x))
problems/969.trs: Success(not UNC)
(1456 msec.)