MAYBE
Time: 0.001162
TRS:
 {    a X -> e(),
      b X -> e(),
      c X -> e(),
  c b a X -> a a b b c c X}
 DP:
  DP:
   {c# b a X -> a# a b b c c X,
    c# b a X -> a# b b c c X,
    c# b a X -> b# b c c X,
    c# b a X -> b# c c X,
    c# b a X -> c# X,
    c# b a X -> c# c X}
  TRS:
  {    a X -> e(),
       b X -> e(),
       c X -> e(),
   c b a X -> a a b b c c X}
  EDG:
   {(c# b a X -> c# X, c# b a X -> c# c X)
    (c# b a X -> c# X, c# b a X -> c# X)
    (c# b a X -> c# X, c# b a X -> b# c c X)
    (c# b a X -> c# X, c# b a X -> b# b c c X)
    (c# b a X -> c# X, c# b a X -> a# b b c c X)
    (c# b a X -> c# X, c# b a X -> a# a b b c c X)}
   STATUS:
    arrows: 0.833333
    SCCS (1):
     Scc:
      {c# b a X -> c# X}
     
     SCC (1):
      Strict:
       {c# b a X -> c# X}
      Weak:
      {    a X -> e(),
           b X -> e(),
           c X -> e(),
       c b a X -> a a b b c c X}
      Open