MAYBE
Time: 0.001008
TRS:
 {f(s a(), s b(), x) -> f(x, x, x),
    g f(s x, s y, z) -> g f(x, y, z),
          cons(x, y) -> x,
          cons(x, y) -> y}
 DP:
  DP:
   {f#(s a(), s b(), x) -> f#(x, x, x),
      g# f(s x, s y, z) -> f#(x, y, z),
      g# f(s x, s y, z) -> g# f(x, y, z)}
  TRS:
  {f(s a(), s b(), x) -> f(x, x, x),
     g f(s x, s y, z) -> g f(x, y, z),
           cons(x, y) -> x,
           cons(x, y) -> y}
  EDG:
   {(g# f(s x, s y, z) -> g# f(x, y, z), g# f(s x, s y, z) -> g# f(x, y, z))
    (g# f(s x, s y, z) -> g# f(x, y, z), g# f(s x, s y, z) -> f#(x, y, z))
    (f#(s a(), s b(), x) -> f#(x, x, x), f#(s a(), s b(), x) -> f#(x, x, x))
    (g# f(s x, s y, z) -> f#(x, y, z), f#(s a(), s b(), x) -> f#(x, x, x))}
   STATUS:
    arrows: 0.555556
    SCCS (2):
     Scc:
      {g# f(s x, s y, z) -> g# f(x, y, z)}
     Scc:
      {f#(s a(), s b(), x) -> f#(x, x, x)}
     
     SCC (1):
      Strict:
       {g# f(s x, s y, z) -> g# f(x, y, z)}
      Weak:
      {f(s a(), s b(), x) -> f(x, x, x),
         g f(s x, s y, z) -> g f(x, y, z),
               cons(x, y) -> x,
               cons(x, y) -> y}
      Open
     
     SCC (1):
      Strict:
       {f#(s a(), s b(), x) -> f#(x, x, x)}
      Weak:
      {f(s a(), s b(), x) -> f(x, x, x),
         g f(s x, s y, z) -> g f(x, y, z),
               cons(x, y) -> x,
               cons(x, y) -> y}
      Open