MAYBE
Time: 0.001374
TRS:
 {        div(x, y) -> quot(x, y, y),
        div(0(), y) -> 0(),
  quot(x, 0(), s z) -> s div(x, s z),
  quot(0(), s y, z) -> 0(),
  quot(s x, s y, z) -> quot(x, y, z)}
 DP:
  DP:
   {        div#(x, y) -> quot#(x, y, y),
    quot#(x, 0(), s z) -> div#(x, s z),
    quot#(s x, s y, z) -> quot#(x, y, z)}
  TRS:
  {        div(x, y) -> quot(x, y, y),
         div(0(), y) -> 0(),
   quot(x, 0(), s z) -> s div(x, s z),
   quot(0(), s y, z) -> 0(),
   quot(s x, s y, z) -> quot(x, y, z)}
  EDG:
   {(div#(x, y) -> quot#(x, y, y), quot#(s x, s y, z) -> quot#(x, y, z))
    (div#(x, y) -> quot#(x, y, y), quot#(x, 0(), s z) -> div#(x, s z))
    (quot#(x, 0(), s z) -> div#(x, s z), div#(x, y) -> quot#(x, y, y))
    (quot#(s x, s y, z) -> quot#(x, y, z), quot#(x, 0(), s z) -> div#(x, s z))
    (quot#(s x, s y, z) -> quot#(x, y, z), quot#(s x, s y, z) -> quot#(x, y, z))}
   EDG:
    {(div#(x, y) -> quot#(x, y, y), quot#(s x, s y, z) -> quot#(x, y, z))
     (div#(x, y) -> quot#(x, y, y), quot#(x, 0(), s z) -> div#(x, s z))
     (quot#(x, 0(), s z) -> div#(x, s z), div#(x, y) -> quot#(x, y, y))
     (quot#(s x, s y, z) -> quot#(x, y, z), quot#(x, 0(), s z) -> div#(x, s z))
     (quot#(s x, s y, z) -> quot#(x, y, z), quot#(s x, s y, z) -> quot#(x, y, z))}
    EDG:
     {(div#(x, y) -> quot#(x, y, y), quot#(s x, s y, z) -> quot#(x, y, z))
      (div#(x, y) -> quot#(x, y, y), quot#(x, 0(), s z) -> div#(x, s z))
      (quot#(x, 0(), s z) -> div#(x, s z), div#(x, y) -> quot#(x, y, y))
      (quot#(s x, s y, z) -> quot#(x, y, z), quot#(x, 0(), s z) -> div#(x, s z))
      (quot#(s x, s y, z) -> quot#(x, y, z), quot#(s x, s y, z) -> quot#(x, y, z))}
     STATUS:
      arrows: 0.444444
      SCCS (1):
       Scc:
        {        div#(x, y) -> quot#(x, y, y),
         quot#(x, 0(), s z) -> div#(x, s z),
         quot#(s x, s y, z) -> quot#(x, y, z)}
       
       SCC (3):
        Strict:
         {        div#(x, y) -> quot#(x, y, y),
          quot#(x, 0(), s z) -> div#(x, s z),
          quot#(s x, s y, z) -> quot#(x, y, z)}
        Weak:
        {        div(x, y) -> quot(x, y, y),
               div(0(), y) -> 0(),
         quot(x, 0(), s z) -> s div(x, s z),
         quot(0(), s y, z) -> 0(),
         quot(s x, s y, z) -> quot(x, y, z)}
        Open