0.00/0.06	YES
0.00/0.06	Input TRS:
0.00/0.06	    1: r(e(x1)) -> w(r(x1))
0.00/0.06	    2: i(t(x1)) -> e(r(x1))
0.00/0.06	    3: e(w(x1)) -> r(i(x1))
0.00/0.06	    4: t(e(x1)) -> r(e(x1))
0.00/0.06	    5: w(r(x1)) -> i(t(x1))
0.00/0.06	    6: e(r(x1)) -> e(w(x1))
0.00/0.06	    7: r(i(t(e(r(x1))))) -> e(w(r(i(t(e(x1))))))
0.00/0.06	Number of strict rules: 7
0.00/0.06	Direct POLO(bPol) ... removes: 4 6
0.00/0.06	      r 	w: x1 + 2
0.00/0.06	      t 	w: x1 + 3
0.00/0.06	      w 	w: x1 + 1
0.00/0.06	      i 	w: x1
0.00/0.06	      e 	w: x1 + 1
0.00/0.06	Number of strict rules: 5
0.00/0.06	Direct POLO(bPol) ... failed.
0.00/0.06	Uncurrying i
0.00/0.06	1: r(e(x1)) -> w(r(x1))
0.00/0.06	2: i^1_t(x1) -> e(r(x1))
0.00/0.06	3: e(w(x1)) -> r(i(x1))
0.00/0.06	5: w(r(x1)) -> i^1_t(x1)
0.00/0.06	7: r(i^1_t(e(r(x1)))) -> e(w(r(i^1_t(e(x1)))))
0.00/0.06	8: i(t(_1)) ->= i^1_t(_1)
0.00/0.06	Number of strict rules: 5
0.00/0.06	Direct POLO(bPol) ... removes: 8
0.00/0.06	      r 	w: x1 + 2
0.00/0.06	      i^1_t	w: x1 + 3
0.00/0.06	      t 	w: x1 + 4
0.00/0.06	      w 	w: x1 + 1
0.00/0.06	      i 	w: x1
0.00/0.06	      e 	w: x1 + 1
0.00/0.06	Number of strict rules: 5
0.00/0.06	Direct POLO(bPol) ... failed.
0.00/0.06	Dependency Pairs:
0.00/0.06	   #1: #i^1_t(x1) -> #e(r(x1))
0.00/0.06	   #2: #i^1_t(x1) -> #r(x1)
0.00/0.06	   #3: #r(i^1_t(e(r(x1)))) -> #e(w(r(i^1_t(e(x1)))))
0.00/0.06	   #4: #r(i^1_t(e(r(x1)))) -> #w(r(i^1_t(e(x1))))
0.00/0.06	   #5: #r(i^1_t(e(r(x1)))) -> #r(i^1_t(e(x1)))
0.00/0.06	   #6: #r(i^1_t(e(r(x1)))) -> #i^1_t(e(x1))
0.00/0.06	   #7: #r(i^1_t(e(r(x1)))) -> #e(x1)
0.00/0.06	   #8: #w(r(x1)) -> #i^1_t(x1)
0.00/0.06	   #9: #e(w(x1)) -> #r(i(x1))
0.00/0.06	   #10: #r(e(x1)) -> #w(r(x1))
0.00/0.06	   #11: #r(e(x1)) -> #r(x1)
0.00/0.06	Number of SCCs: 1, DPs: 7
0.00/0.06	  SCC { #2 #4..6 #8 #10 #11 }
0.00/0.06	POLO(Sum)... succeeded.
0.00/0.06	      #w 	w: x1
0.00/0.06	      #e 	w: 0
0.00/0.06	      r 	w: x1 + 6
0.00/0.06	      i^1_t	w: x1 + 9
0.00/0.06	      t 	w: 0
0.00/0.06	      w 	w: x1 + 3
0.00/0.06	      i 	w: 0
0.00/0.06	      #r 	w: x1 + 4
0.00/0.06	      e 	w: x1 + 3
0.00/0.06	      #i^1_t	w: x1 + 5
0.00/0.06	    USABLE RULES: { 1..3 5 7 }
0.00/0.06	    Removed DPs: #2 #4..6 #8 #10 #11
0.00/0.06	Number of SCCs: 0, DPs: 0
0.00/0.06	EOF