YES
Time: 0.000940
TRS:
 {   r1(empty(), a) -> a,
  r1(cons(x, k), a) -> r1(k, cons(x, a)),
             rev ls -> r1(ls, empty())}
 DP:
  DP:
   {r1#(cons(x, k), a) -> r1#(k, cons(x, a)),
               rev# ls -> r1#(ls, empty())}
  TRS:
  {   r1(empty(), a) -> a,
   r1(cons(x, k), a) -> r1(k, cons(x, a)),
              rev ls -> r1(ls, empty())}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):