MAYBE
Time: 0.000950
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()}
  UR:
   {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)}
    STATUS:
     arrows: 0.555556
     SCCS (2):
      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:
       {id# s x -> id# x}
      
      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()}
       Open
      
      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()}
       Open