MAYBE
Time: 0.000889
TRS:
 {  gcd(x, 0()) -> x,
    gcd(0(), y) -> y,
  gcd(s x, s y) -> if(<(x, y), gcd(s x, -(y, x)), gcd(-(x, y), s y))}
 DP:
  DP:
   {gcd#(s x, s y) -> gcd#(s x, -(y, x)),
    gcd#(s x, s y) -> gcd#(-(x, y), s y)}
  TRS:
  {  gcd(x, 0()) -> x,
     gcd(0(), y) -> y,
   gcd(s x, s y) -> if(<(x, y), gcd(s x, -(y, x)), gcd(-(x, y), s y))}
  UR:
   {a(z, w) -> z,
    a(z, w) -> w}
   EDG:
    {(gcd#(s x, s y) -> gcd#(-(x, y), s y), gcd#(s x, s y) -> gcd#(-(x, y), s y))
     (gcd#(s x, s y) -> gcd#(-(x, y), s y), gcd#(s x, s y) -> gcd#(s x, -(y, x)))
     (gcd#(s x, s y) -> gcd#(s x, -(y, x)), gcd#(s x, s y) -> gcd#(s x, -(y, x)))
     (gcd#(s x, s y) -> gcd#(s x, -(y, x)), gcd#(s x, s y) -> gcd#(-(x, y), s y))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {gcd#(s x, s y) -> gcd#(s x, -(y, x)),
        gcd#(s x, s y) -> gcd#(-(x, y), s y)}
      
      SCC (2):
       Strict:
        {gcd#(s x, s y) -> gcd#(s x, -(y, x)),
         gcd#(s x, s y) -> gcd#(-(x, y), s y)}
       Weak:
       {  gcd(x, 0()) -> x,
          gcd(0(), y) -> y,
        gcd(s x, s y) -> if(<(x, y), gcd(s x, -(y, x)), gcd(-(x, y), s y))}
       Open