MAYBE
Time: 0.003452
TRS:
 {            max L x -> x,
  max N(L x, N(y, z)) -> max N(L x, L max N(y, z)),
    max N(L 0(), L y) -> y,
  max N(L s x, L s y) -> s max N(L x, L y)}
 DP:
  DP:
   {max# N(L x, N(y, z)) -> max# N(y, z),
    max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)),
    max# N(L s x, L s y) -> max# N(L x, L y)}
  TRS:
  {            max L x -> x,
   max N(L x, N(y, z)) -> max N(L x, L max N(y, z)),
     max N(L 0(), L y) -> y,
   max N(L s x, L s y) -> s max N(L x, L y)}
  UR:
   {max N(L x, N(y, z)) -> max N(L x, L max N(y, z)),
      max N(L 0(), L y) -> y,
    max N(L s x, L s y) -> s max N(L x, L y)}
   EDG:
    {(max# N(L s x, L s y) -> max# N(L x, L y), max# N(L s x, L s y) -> max# N(L x, L y))
     (max# N(L s x, L s y) -> max# N(L x, L y), max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)))
     (max# N(L s x, L s y) -> max# N(L x, L y), max# N(L x, N(y, z)) -> max# N(y, z))
     (max# N(L x, N(y, z)) -> max# N(y, z), max# N(L x, N(y, z)) -> max# N(y, z))
     (max# N(L x, N(y, z)) -> max# N(y, z), max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)))
     (max# N(L x, N(y, z)) -> max# N(y, z), max# N(L s x, L s y) -> max# N(L x, L y))
     (max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)), max# N(L x, N(y, z)) -> max# N(y, z))
     (max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)), max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)))
     (max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)), max# N(L s x, L s y) -> max# N(L x, L y))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {max# N(L x, N(y, z)) -> max# N(y, z),
        max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)),
        max# N(L s x, L s y) -> max# N(L x, L y)}
      
      SCC (3):
       Strict:
        {max# N(L x, N(y, z)) -> max# N(y, z),
         max# N(L x, N(y, z)) -> max# N(L x, L max N(y, z)),
         max# N(L s x, L s y) -> max# N(L x, L y)}
       Weak:
       {            max L x -> x,
        max N(L x, N(y, z)) -> max N(L x, L max N(y, z)),
          max N(L 0(), L y) -> y,
        max N(L s x, L s y) -> s max N(L x, L y)}
       Open