MAYBE
Time: 0.002184
TRS:
 {f(a(), a()) -> f(a(), b()),
  f(a(), b()) -> f(s a(), c()),
  f(s X, c()) -> f(X, c()),
  f(c(), c()) -> f(a(), a())}
 DP:
  DP:
   {f#(a(), a()) -> f#(a(), b()),
    f#(a(), b()) -> f#(s a(), c()),
    f#(s X, c()) -> f#(X, c()),
    f#(c(), c()) -> f#(a(), a())}
  TRS:
  {f(a(), a()) -> f(a(), b()),
   f(a(), b()) -> f(s a(), c()),
   f(s X, c()) -> f(X, c()),
   f(c(), c()) -> f(a(), a())}
  UR:
   {}
   EDG:
    {(f#(a(), b()) -> f#(s a(), c()), f#(c(), c()) -> f#(a(), a()))
     (f#(a(), b()) -> f#(s a(), c()), f#(s X, c()) -> f#(X, c()))
     (f#(a(), b()) -> f#(s a(), c()), f#(a(), b()) -> f#(s a(), c()))
     (f#(a(), b()) -> f#(s a(), c()), f#(a(), a()) -> f#(a(), b()))
     (f#(c(), c()) -> f#(a(), a()), f#(c(), c()) -> f#(a(), a()))
     (f#(c(), c()) -> f#(a(), a()), f#(s X, c()) -> f#(X, c()))
     (f#(c(), c()) -> f#(a(), a()), f#(a(), b()) -> f#(s a(), c()))
     (f#(c(), c()) -> f#(a(), a()), f#(a(), a()) -> f#(a(), b()))
     (f#(s X, c()) -> f#(X, c()), f#(a(), a()) -> f#(a(), b()))
     (f#(s X, c()) -> f#(X, c()), f#(a(), b()) -> f#(s a(), c()))
     (f#(s X, c()) -> f#(X, c()), f#(s X, c()) -> f#(X, c()))
     (f#(s X, c()) -> f#(X, c()), f#(c(), c()) -> f#(a(), a()))
     (f#(a(), a()) -> f#(a(), b()), f#(a(), a()) -> f#(a(), b()))
     (f#(a(), a()) -> f#(a(), b()), f#(a(), b()) -> f#(s a(), c()))
     (f#(a(), a()) -> f#(a(), b()), f#(s X, c()) -> f#(X, c()))
     (f#(a(), a()) -> f#(a(), b()), f#(c(), c()) -> f#(a(), a()))}
    EDG:
     {(f#(a(), b()) -> f#(s a(), c()), f#(s X, c()) -> f#(X, c()))
      (f#(c(), c()) -> f#(a(), a()), f#(a(), a()) -> f#(a(), b()))
      (f#(s X, c()) -> f#(X, c()), f#(s X, c()) -> f#(X, c()))
      (f#(s X, c()) -> f#(X, c()), f#(c(), c()) -> f#(a(), a()))
      (f#(a(), a()) -> f#(a(), b()), f#(a(), b()) -> f#(s a(), c()))}
     EDG:
      {(f#(a(), b()) -> f#(s a(), c()), f#(s X, c()) -> f#(X, c()))
       (f#(c(), c()) -> f#(a(), a()), f#(a(), a()) -> f#(a(), b()))
       (f#(s X, c()) -> f#(X, c()), f#(s X, c()) -> f#(X, c()))
       (f#(s X, c()) -> f#(X, c()), f#(c(), c()) -> f#(a(), a()))
       (f#(a(), a()) -> f#(a(), b()), f#(a(), b()) -> f#(s a(), c()))}
      EDG:
       {(f#(a(), b()) -> f#(s a(), c()), f#(s X, c()) -> f#(X, c()))
        (f#(c(), c()) -> f#(a(), a()), f#(a(), a()) -> f#(a(), b()))
        (f#(s X, c()) -> f#(X, c()), f#(s X, c()) -> f#(X, c()))
        (f#(s X, c()) -> f#(X, c()), f#(c(), c()) -> f#(a(), a()))
        (f#(a(), a()) -> f#(a(), b()), f#(a(), b()) -> f#(s a(), c()))}
       STATUS:
        arrows: 0.687500
        SCCS (1):
         Scc:
          {f#(a(), a()) -> f#(a(), b()),
           f#(a(), b()) -> f#(s a(), c()),
           f#(s X, c()) -> f#(X, c()),
           f#(c(), c()) -> f#(a(), a())}
         
         SCC (4):
          Strict:
           {f#(a(), a()) -> f#(a(), b()),
            f#(a(), b()) -> f#(s a(), c()),
            f#(s X, c()) -> f#(X, c()),
            f#(c(), c()) -> f#(a(), a())}
          Weak:
          {f(a(), a()) -> f(a(), b()),
           f(a(), b()) -> f(s a(), c()),
           f(s X, c()) -> f(X, c()),
           f(c(), c()) -> f(a(), a())}
          Open