MAYBE
Time: 0.014814
TRS:
 {f(s s s s s s s s x, y, y) -> f(id s s s s s s s s x, y, y),
                      id s x -> s id x,
                      id 0() -> 0()}
 DP:
  DP:
   {f#(s s s s s s s s x, y, y) -> f#(id s s s s s s s s x, y, y),
    f#(s s s s s s s s x, y, y) -> id# s s s s s s s s x,
                        id# s x -> id# x}
  TRS:
  {f(s s s s s s s s x, y, y) -> f(id s s s s s s s s x, y, y),
                       id s x -> s id x,
                       id 0() -> 0()}
  EDG:
   {(f#(s s s s s s s s x, y, y) -> f#(id s s s s s s s s x, y, y), f#(s s s s s s s s x, y, y) -> id# s s s s s s s s x)
    (f#(s s s s s s s s x, y, y) -> f#(id s s s s s s s s x, y, y), f#(s s s s s s s s x, y, y) -> f#(id s s s s s s s s x, y, y))
    (f#(s s s s s s s s x, y, y) -> id# s s s s s s s s x, id# s x -> id# x)
    (id# s x -> id# x, id# s x -> id# x)}
   SCCS (2):
    Scc:
     {id# s x -> id# x}
    Scc:
     {f#(s s s s s s s s x, y, y) -> f#(id s s s s s s s s x, y, y)}
    SCC (1):
     Strict:
      {id# s x -> id# x}
     Weak:
     {f(s s s s s s s s x, y, y) -> f(id s s s s s s s s x, y, y),
                          id s x -> s id x,
                          id 0() -> 0()}
     SPSC:
      Simple Projection:
       pi(id#) = 0
      Strict:
       {}
      Qed
    SCC (1):
     Strict:
      {f#(s s s s s s s s x, y, y) -> f#(id s s s s s s s s x, y, y)}
     Weak:
     {f(s s s s s s s s x, y, y) -> f(id s s s s s s s s x, y, y),
                          id s x -> s id x,
                          id 0() -> 0()}
     Fail