0.00/0.09	MAYBE
0.00/0.09	Input TRS:
0.00/0.09	    1: t(u(x1)) -> t(c(d(x1)))
0.00/0.09	    2: d(f(x1)) -> f(d(x1))
0.00/0.09	    3: d(g(x1)) -> u(g(x1))
0.00/0.09	    4: f(u(x1)) -> u(f(x1))
0.00/0.09	    5: d(n(x1)) -> d(x1)
0.00/0.09	    6: d(o(x1)) -> d(x1)
0.00/0.09	    7: o(u(x1)) -> u(x1)
0.00/0.09	    8: n(u(x1)) ->= u(x1)
0.00/0.09	    9: f(x1) ->= f(n(x1))
0.00/0.09	    10: t(x1) ->= t(c(n(x1)))
0.00/0.09	    11: c(n(x1)) ->= n(c(x1))
0.00/0.09	    12: c(o(x1)) ->= o(c(x1))
0.00/0.09	    13: c(o(x1)) ->= o(x1)
0.00/0.09	    14: c(f(x1)) ->= f(c(x1))
0.00/0.09	    15: c(u(x1)) ->= u(c(x1))
0.00/0.09	    16: c(d(x1)) ->= d(c(x1))
0.00/0.09	Number of strict rules: 7
0.00/0.09	Direct POLO(bPol) ... removes: 7 6
0.00/0.09	      d 	w: x1 + 1
0.00/0.09	      n 	w: x1
0.00/0.09	      u 	w: x1 + 1
0.00/0.09	      t 	w: x1
0.00/0.09	      c 	w: x1
0.00/0.09	      f 	w: x1 + 1
0.00/0.09	      o 	w: x1 + 1
0.00/0.09	      g 	w: 2 * x1 + 1
0.00/0.09	Number of strict rules: 5
0.00/0.09	Direct POLO(bPol) ... failed.
0.00/0.09	Uncurrying ... failed.
0.00/0.09	Dependency Pairs:
0.00/0.09	   #1: #d(f(x1)) -> #f(d(x1))
0.00/0.09	   #2: #d(f(x1)) -> #d(x1)
0.00/0.09	   #3: #f(x1) ->? #f(n(x1))
0.00/0.09	   #4: #c(n(x1)) ->? #c(x1)
0.00/0.09	   #5: #c(o(x1)) ->? #c(x1)
0.00/0.09	   #6: #c(f(x1)) ->? #f(c(x1))
0.00/0.09	   #7: #c(f(x1)) ->? #c(x1)
0.00/0.09	   #8: #t(x1) ->? #t(c(n(x1)))
0.00/0.09	   #9: #t(x1) ->? #c(n(x1))
0.00/0.09	   #10: #d(n(x1)) -> #d(x1)
0.00/0.09	   #11: #c(d(x1)) ->? #d(c(x1))
0.00/0.09	   #12: #c(d(x1)) ->? #c(x1)
0.00/0.09	   #13: #t(u(x1)) -> #t(c(d(x1)))
0.00/0.09	   #14: #t(u(x1)) -> #c(d(x1))
0.00/0.09	   #15: #t(u(x1)) -> #d(x1)
0.00/0.09	   #16: #c(u(x1)) ->? #c(x1)
0.00/0.09	   #17: #f(u(x1)) -> #f(x1)
0.00/0.09	Number of SCCs: 4, DPs: 11
0.00/0.09	  SCC { #2 #10 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      d 	w: 0
0.00/0.09	      n 	w: x1 + 1
0.00/0.09	      u 	w: 0
0.00/0.09	      t 	w: 0
0.00/0.09	      c 	w: 0
0.00/0.09	      f 	w: x1 + 1
0.00/0.09	      o 	w: 0
0.00/0.09	      #d 	w: x1
0.00/0.09	      #f 	w: 0
0.00/0.09	      #c 	w: 0
0.00/0.09	      #t 	w: 0
0.00/0.09	      g 	w: 0
0.00/0.09	    USABLE RULES: { }
0.00/0.09	    Removed DPs: #2 #10
0.00/0.09	Number of SCCs: 3, DPs: 9
0.00/0.09	  SCC { #3 #17 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      d 	w: 0
0.00/0.09	      n 	w: x1
0.00/0.09	      u 	w: x1 + 1
0.00/0.09	      t 	w: 0
0.00/0.09	      c 	w: 0
0.00/0.09	      f 	w: 1
0.00/0.09	      o 	w: 0
0.00/0.09	      #d 	w: 0
0.00/0.09	      #f 	w: x1
0.00/0.09	      #c 	w: 0
0.00/0.09	      #t 	w: 0
0.00/0.09	      g 	w: 0
0.00/0.09	    USABLE RULES: { 8 }
0.00/0.09	    Removed DPs: #17
0.00/0.09	Number of SCCs: 3, DPs: 8
0.00/0.09	  SCC { #3 }
0.00/0.09	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
0.00/0.09	Finding a loop...  failed.
0.00/0.09	EOF