0.00/0.04	YES
0.00/0.04	Input TRS:
0.00/0.04	    1: rev(nil()) -> nil()
0.00/0.04	    2: rev(cons(x,l)) -> cons(rev1(x,l),rev2(x,l))
0.00/0.04	    3: rev1(0(),nil()) -> 0()
0.00/0.04	    4: rev1(s(x),nil()) -> s(x)
0.00/0.04	    5: rev1(x,cons(y,l)) -> rev1(y,l)
0.00/0.04	    6: rev2(x,nil()) -> nil()
0.00/0.04	    7: rev2(x,cons(y,l)) -> rev(cons(x,rev2(y,l)))
0.00/0.04	    8: rand(x) ->= x
0.00/0.04	    9: rand(x) ->= rand(s(x))
0.00/0.04	Number of strict rules: 7
0.00/0.04	Direct POLO(bPol) ... failed.
0.00/0.04	Uncurrying rev
0.00/0.04	1: rev^1_nil() -> nil()
0.00/0.04	2: rev^1_cons(x,l) -> cons(rev1(x,l),rev2(x,l))
0.00/0.04	3: rev1(0(),nil()) -> 0()
0.00/0.04	4: rev1(s(x),nil()) -> s(x)
0.00/0.04	5: rev1(x,cons(y,l)) -> rev1(y,l)
0.00/0.04	6: rev2(x,nil()) -> nil()
0.00/0.04	7: rev2(x,cons(y,l)) -> rev^1_cons(x,rev2(y,l))
0.00/0.04	8: rand(x) ->= x
0.00/0.04	9: rand(x) ->= rand(s(x))
0.00/0.04	10: rev(cons(_1,_2)) ->= rev^1_cons(_1,_2)
0.00/0.04	11: rev(nil()) ->= rev^1_nil()
0.00/0.04	Number of strict rules: 7
0.00/0.04	Direct POLO(bPol) ... failed.
0.00/0.04	Dependency Pairs:
0.00/0.04	   #1: #rev^1_cons(x,l) -> #rev1(x,l)
0.00/0.04	   #2: #rev^1_cons(x,l) -> #rev2(x,l)
0.00/0.04	   #3: #rev(nil()) ->? #rev^1_nil()
0.00/0.04	   #4: #rev2(x,cons(y,l)) -> #rev^1_cons(x,rev2(y,l))
0.00/0.04	   #5: #rev2(x,cons(y,l)) -> #rev2(y,l)
0.00/0.04	   #6: #rev(cons(_1,_2)) ->? #rev^1_cons(_1,_2)
0.00/0.04	   #7: #rev1(x,cons(y,l)) -> #rev1(y,l)
0.00/0.04	Number of SCCs: 2, DPs: 4
0.00/0.04	  SCC { #7 }
0.00/0.04	POLO(Sum)... succeeded.
0.00/0.04	      #rev	w: 0
0.00/0.04	      s 	w: 0
0.00/0.04	      rev1	w: 1
0.00/0.04	      #rev1	w: x2
0.00/0.04	      #rev2	w: 0
0.00/0.04	      rand	w: x1
0.00/0.04	      0 	w: 1
0.00/0.04	      #rev^1_nil	w: 0
0.00/0.04	      nil	w: 1
0.00/0.04	      rev	w: x1
0.00/0.04	      cons	w: x2 + 1
0.00/0.04	      #rev^1_cons	w: 0
0.00/0.04	      rev^1_cons	w: x2 + 1
0.00/0.04	      rev2	w: x2
0.00/0.04	      rev^1_nil	w: 1
0.00/0.04	    Removed DPs: #7
0.00/0.04	Number of SCCs: 1, DPs: 3
0.00/0.04	  SCC { #2 #4 #5 }
0.00/0.04	POLO(Sum)... succeeded.
0.00/0.04	      #rev	w: 0
0.00/0.04	      s 	w: 0
0.00/0.04	      rev1	w: 1
0.00/0.04	      #rev1	w: 0
0.00/0.04	      #rev2	w: x2
0.00/0.04	      rand	w: x1
0.00/0.04	      0 	w: 1
0.00/0.04	      #rev^1_nil	w: 0
0.00/0.04	      nil	w: 1
0.00/0.04	      rev	w: x1
0.00/0.04	      cons	w: x2 + 2
0.00/0.04	      #rev^1_cons	w: x2 + 1
0.00/0.04	      rev^1_cons	w: x2 + 2
0.00/0.04	      rev2	w: x2
0.00/0.04	      rev^1_nil	w: 1
0.00/0.04	    Removed DPs: #2 #4 #5
0.00/0.04	Number of SCCs: 0, DPs: 0
0.00/0.04	EOF