MAYBE
Time: 0.014437
TRS:
 {a(1(), x) -> c b x,
  a(0(), x) -> c c x,
  b c b c x -> a(0(), a(1(), x)),
  c c c b x -> a(1(), b c x)}
 DP:
  DP:
   {a#(1(), x) -> b# x,
    a#(1(), x) -> c# b x,
    a#(0(), x) -> c# x,
    a#(0(), x) -> c# c x,
    b# c b c x -> a#(1(), x),
    b# c b c x -> a#(0(), a(1(), x)),
    c# c c b x -> a#(1(), b c x),
    c# c c b x -> b# c x,
    c# c c b x -> c# x}
  TRS:
  {a(1(), x) -> c b x,
   a(0(), x) -> c c x,
   b c b c x -> a(0(), a(1(), x)),
   c c c b x -> a(1(), b c x)}
  EDG:
   {(a#(0(), x) -> c# x, c# c c b x -> c# x)
    (a#(0(), x) -> c# x, c# c c b x -> b# c x)
    (a#(0(), x) -> c# x, c# c c b x -> a#(1(), b c x))
    (a#(1(), x) -> c# b x, c# c c b x -> c# x)
    (a#(1(), x) -> c# b x, c# c c b x -> b# c x)
    (a#(1(), x) -> c# b x, c# c c b x -> a#(1(), b c x))
    (c# c c b x -> a#(1(), b c x), a#(0(), x) -> c# c x)
    (c# c c b x -> a#(1(), b c x), a#(0(), x) -> c# x)
    (c# c c b x -> a#(1(), b c x), a#(1(), x) -> c# b x)
    (c# c c b x -> a#(1(), b c x), a#(1(), x) -> b# x)
    (b# c b c x -> a#(0(), a(1(), x)), a#(0(), x) -> c# c x)
    (b# c b c x -> a#(0(), a(1(), x)), a#(0(), x) -> c# x)
    (b# c b c x -> a#(0(), a(1(), x)), a#(1(), x) -> c# b x)
    (b# c b c x -> a#(0(), a(1(), x)), a#(1(), x) -> b# x)
    (b# c b c x -> a#(1(), x), a#(1(), x) -> b# x)
    (b# c b c x -> a#(1(), x), a#(1(), x) -> c# b x)
    (b# c b c x -> a#(1(), x), a#(0(), x) -> c# x)
    (b# c b c x -> a#(1(), x), a#(0(), x) -> c# c x)
    (c# c c b x -> b# c x, b# c b c x -> a#(1(), x))
    (c# c c b x -> b# c x, b# c b c x -> a#(0(), a(1(), x)))
    (a#(0(), x) -> c# c x, c# c c b x -> a#(1(), b c x))
    (a#(0(), x) -> c# c x, c# c c b x -> b# c x)
    (a#(0(), x) -> c# c x, c# c c b x -> c# x)
    (c# c c b x -> c# x, c# c c b x -> a#(1(), b c x))
    (c# c c b x -> c# x, c# c c b x -> b# c x)
    (c# c c b x -> c# x, c# c c b x -> c# x)
    (a#(1(), x) -> b# x, b# c b c x -> a#(1(), x))
    (a#(1(), x) -> b# x, b# c b c x -> a#(0(), a(1(), x)))}
   STATUS:
    arrows: 0.654321
    SCCS (1):
     Scc:
      {a#(1(), x) -> b# x,
       a#(1(), x) -> c# b x,
       a#(0(), x) -> c# x,
       a#(0(), x) -> c# c x,
       b# c b c x -> a#(1(), x),
       b# c b c x -> a#(0(), a(1(), x)),
       c# c c b x -> a#(1(), b c x),
       c# c c b x -> b# c x,
       c# c c b x -> c# x}
     
     SCC (9):
      Strict:
       {a#(1(), x) -> b# x,
        a#(1(), x) -> c# b x,
        a#(0(), x) -> c# x,
        a#(0(), x) -> c# c x,
        b# c b c x -> a#(1(), x),
        b# c b c x -> a#(0(), a(1(), x)),
        c# c c b x -> a#(1(), b c x),
        c# c c b x -> b# c x,
        c# c c b x -> c# x}
      Weak:
      {a(1(), x) -> c b x,
       a(0(), x) -> c c x,
       b c b c x -> a(0(), a(1(), x)),
       c c c b x -> a(1(), b c x)}
      Open