YES
Input TRS:
      1: active(f(x)) -> mark(x)
      2: top(active(c())) -> top(mark(c()))
      3: top(mark(x)) -> top(check(x))
      4: check(f(x)) -> f(check(x))
      5: check(x) -> start(match(f(X()),x))
      6: match(f(x),f(y)) -> f(match(x,y))
      7: match(X(),x) -> proper(x)
      8: proper(c()) -> ok(c())
      9: proper(f(x)) -> f(proper(x))
      10: f(ok(x)) -> ok(f(x))
      11: start(ok(x)) -> found(x)
      12: f(found(x)) -> found(f(x))
      13: top(found(x)) -> top(active(x))
      14: active(f(x)) -> f(active(x))
      15: f(mark(x)) -> mark(f(x))
Number of strict rules: 15
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #top(active(c())) -> #top(mark(c()))
     #2: #match(f(x),f(y)) -> #f(match(x,y))
     #3: #match(f(x),f(y)) -> #match(x,y)
     #4: #top(found(x)) -> #top(active(x))
     #5: #top(found(x)) -> #active(x)
     #6: #proper(f(x)) -> #f(proper(x))
     #7: #proper(f(x)) -> #proper(x)
     #8: #f(found(x)) -> #f(x)
     #9: #active(f(x)) -> #f(active(x))
     #10: #active(f(x)) -> #active(x)
     #11: #match(X(),x) -> #proper(x)
     #12: #f(ok(x)) -> #f(x)
     #13: #check(x) -> #start(match(f(X()),x))
     #14: #check(x) -> #match(f(X()),x)
     #15: #check(x) -> #f(X())
     #16: #top(mark(x)) -> #top(check(x))
     #17: #top(mark(x)) -> #check(x)
     #18: #f(mark(x)) -> #f(x)
     #19: #check(f(x)) -> #f(check(x))
     #20: #check(f(x)) -> #check(x)
Number of SCCs: 6, DPs: 10
  SCC { #10 }
POLO(Sum)... succeeded.
      top	w: 0
      #check	w: 0
      #top	w: 0
      c 	w: 0
      f 	w: x1 + 1
      check	w: 0
      proper	w: 0
      ok	w: 0
      #match	w: 0
      mark	w: 0
      #f 	w: 0
      found	w: 0
      #proper	w: 0
      match	w: 0
      #start	w: 0
      active	w: 0
      #active	w: x1
      start	w: 0
      X 	w: 0
    USABLE RULES: { }
    Removed DPs: #10
Number of SCCs: 5, DPs: 9
  SCC { #20 }
POLO(Sum)... succeeded.
      top	w: 0
      #check	w: x1
      #top	w: 0
      c 	w: 0
      f 	w: x1 + 1
      check	w: 0
      proper	w: 0
      ok	w: 0
      #match	w: 0
      mark	w: 0
      #f 	w: 0
      found	w: 0
      #proper	w: 0
      match	w: 0
      #start	w: 0
      active	w: 0
      #active	w: 0
      start	w: 0
      X 	w: 0
    USABLE RULES: { }
    Removed DPs: #20
Number of SCCs: 4, DPs: 8
  SCC { #7 }
POLO(Sum)... succeeded.
      top	w: 0
      #check	w: 0
      #top	w: 0
      c 	w: 0
      f 	w: x1 + 1
      check	w: 0
      proper	w: 0
      ok	w: 0
      #match	w: 0
      mark	w: 0
      #f 	w: 0
      found	w: 0
      #proper	w: x1
      match	w: 0
      #start	w: 0
      active	w: 0
      #active	w: 0
      start	w: 0
      X 	w: 0
    USABLE RULES: { }
    Removed DPs: #7
Number of SCCs: 3, DPs: 7
  SCC { #3 }
POLO(Sum)... succeeded.
      top	w: 0
      #check	w: 0
      #top	w: 0
      c 	w: 0
      f 	w: x1 + 1
      check	w: 0
      proper	w: 0
      ok	w: 0
      #match	w: x2
      mark	w: 0
      #f 	w: 0
      found	w: 0
      #proper	w: 0
      match	w: 0
      #start	w: 0
      active	w: 0
      #active	w: 0
      start	w: 0
      X 	w: 0
    USABLE RULES: { }
    Removed DPs: #3
Number of SCCs: 2, DPs: 6
  SCC { #8 #12 #18 }
POLO(Sum)... succeeded.
      top	w: 0
      #check	w: 0
      #top	w: 0
      c 	w: 0
      f 	w: 1
      check	w: 0
      proper	w: 0
      ok	w: x1 + 1
      #match	w: 0
      mark	w: x1 + 1
      #f 	w: x1
      found	w: x1 + 1
      #proper	w: 0
      match	w: 0
      #start	w: 0
      active	w: 0
      #active	w: 0
      start	w: 0
      X 	w: 0
    USABLE RULES: { }
    Removed DPs: #8 #12 #18
Number of SCCs: 1, DPs: 3
  SCC { #1 #4 #16 }
POLO(Sum)... succeeded.
      top	w: 0
      #check	w: 0
      #top	w: x1
      c 	w: 2243
      f 	w: 1
      check	w: 1
      proper	w: 2242
      ok	w: x1
      #match	w: 0
      mark	w: 1
      #f 	w: 0
      found	w: x1
      #proper	w: 0
      match	w: 1
      #start	w: 0
      active	w: x1
      #active	w: 0
      start	w: x1
      X 	w: 1
    USABLE RULES: { 1 4..6 10..12 14 15 }
    Removed DPs: #1
Number of SCCs: 1, DPs: 2
  SCC { #4 #16 }
POLO(Sum)... succeeded.
      top	w: 0
      #check	w: 0
      #top	w: x1
      c 	w: 1
      f 	w: x1 + 2
      check	w: x1 + 18756
      proper	w: x1 + 416
      ok	w: x1 + 416
      #match	w: 0
      mark	w: x1 + 18757
      #f 	w: 0
      found	w: x1 + 18756
      #proper	w: 0
      match	w: x2 + 416
      #start	w: 0
      active	w: x1 + 18755
      #active	w: 0
      start	w: x1 + 18340
      X 	w: 6879
    USABLE RULES: { 1 4..12 14 15 }
    Removed DPs: #4 #16
Number of SCCs: 0, DPs: 0