MAYBE
Time: 0.001306
TRS:
 {  min(x, 0()) -> 0(),
    min(0(), y) -> 0(),
  min(s x, s y) -> s min(x, y),
    max(x, 0()) -> x,
    max(0(), y) -> y,
  max(s x, s y) -> s max(x, y),
      -(x, 0()) -> x,
    -(s x, s y) -> -(x, y),
  gcd(0(), s x) -> s x,
  gcd(s x, 0()) -> s x,
  gcd(s x, s y) -> gcd(-(max(x, y), min(x, y)), s min(x, y))}
 DP:
  DP:
   {min#(s x, s y) -> min#(x, y),
    max#(s x, s y) -> max#(x, y),
      -#(s x, s y) -> -#(x, y),
    gcd#(s x, s y) -> min#(x, y),
    gcd#(s x, s y) -> max#(x, y),
    gcd#(s x, s y) -> -#(max(x, y), min(x, y)),
    gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y))}
  TRS:
  {  min(x, 0()) -> 0(),
     min(0(), y) -> 0(),
   min(s x, s y) -> s min(x, y),
     max(x, 0()) -> x,
     max(0(), y) -> y,
   max(s x, s y) -> s max(x, y),
       -(x, 0()) -> x,
     -(s x, s y) -> -(x, y),
   gcd(0(), s x) -> s x,
   gcd(s x, 0()) -> s x,
   gcd(s x, s y) -> gcd(-(max(x, y), min(x, y)), s min(x, y))}
  EDG:
   {(gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y)), gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y)))
    (gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y)), gcd#(s x, s y) -> -#(max(x, y), min(x, y)))
    (gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y)), gcd#(s x, s y) -> max#(x, y))
    (gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y)), gcd#(s x, s y) -> min#(x, y))
    (max#(s x, s y) -> max#(x, y), max#(s x, s y) -> max#(x, y))
    (gcd#(s x, s y) -> min#(x, y), min#(s x, s y) -> min#(x, y))
    (gcd#(s x, s y) -> max#(x, y), max#(s x, s y) -> max#(x, y))
    (-#(s x, s y) -> -#(x, y), -#(s x, s y) -> -#(x, y))
    (min#(s x, s y) -> min#(x, y), min#(s x, s y) -> min#(x, y))
    (gcd#(s x, s y) -> -#(max(x, y), min(x, y)), -#(s x, s y) -> -#(x, y))}
   STATUS:
    arrows: 0.795918
    SCCS (4):
     Scc:
      {gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y))}
     Scc:
      {max#(s x, s y) -> max#(x, y)}
     Scc:
      {min#(s x, s y) -> min#(x, y)}
     Scc:
      {-#(s x, s y) -> -#(x, y)}
     
     SCC (1):
      Strict:
       {gcd#(s x, s y) -> gcd#(-(max(x, y), min(x, y)), s min(x, y))}
      Weak:
      {  min(x, 0()) -> 0(),
         min(0(), y) -> 0(),
       min(s x, s y) -> s min(x, y),
         max(x, 0()) -> x,
         max(0(), y) -> y,
       max(s x, s y) -> s max(x, y),
           -(x, 0()) -> x,
         -(s x, s y) -> -(x, y),
       gcd(0(), s x) -> s x,
       gcd(s x, 0()) -> s x,
       gcd(s x, s y) -> gcd(-(max(x, y), min(x, y)), s min(x, y))}
      Open
     
     SCC (1):
      Strict:
       {max#(s x, s y) -> max#(x, y)}
      Weak:
      {  min(x, 0()) -> 0(),
         min(0(), y) -> 0(),
       min(s x, s y) -> s min(x, y),
         max(x, 0()) -> x,
         max(0(), y) -> y,
       max(s x, s y) -> s max(x, y),
           -(x, 0()) -> x,
         -(s x, s y) -> -(x, y),
       gcd(0(), s x) -> s x,
       gcd(s x, 0()) -> s x,
       gcd(s x, s y) -> gcd(-(max(x, y), min(x, y)), s min(x, y))}
      Open
     
     SCC (1):
      Strict:
       {min#(s x, s y) -> min#(x, y)}
      Weak:
      {  min(x, 0()) -> 0(),
         min(0(), y) -> 0(),
       min(s x, s y) -> s min(x, y),
         max(x, 0()) -> x,
         max(0(), y) -> y,
       max(s x, s y) -> s max(x, y),
           -(x, 0()) -> x,
         -(s x, s y) -> -(x, y),
       gcd(0(), s x) -> s x,
       gcd(s x, 0()) -> s x,
       gcd(s x, s y) -> gcd(-(max(x, y), min(x, y)), s min(x, y))}
      Open
     
     SCC (1):
      Strict:
       {-#(s x, s y) -> -#(x, y)}
      Weak:
      {  min(x, 0()) -> 0(),
         min(0(), y) -> 0(),
       min(s x, s y) -> s min(x, y),
         max(x, 0()) -> x,
         max(0(), y) -> y,
       max(s x, s y) -> s max(x, y),
           -(x, 0()) -> x,
         -(s x, s y) -> -(x, y),
       gcd(0(), s x) -> s x,
       gcd(s x, 0()) -> s x,
       gcd(s x, s y) -> gcd(-(max(x, y), min(x, y)), s min(x, y))}
      Open