0.00/0.21	MAYBE
0.00/0.21	Input TRS:
0.00/0.21	    1: p(0(x1)) -> s(s(0(s(s(p(x1))))))
0.00/0.21	    2: p(s(0(x1))) -> 0(x1)
0.00/0.21	    3: p(s(s(x1))) -> s(p(s(x1)))
0.00/0.21	    4: f(s(x1)) -> g(q(i(x1)))
0.00/0.21	    5: g(x1) -> f(p(p(x1)))
0.00/0.21	    6: q(i(x1)) -> q(s(x1))
0.00/0.21	    7: q(s(x1)) -> s(s(x1))
0.00/0.21	    8: i(x1) -> s(x1)
0.00/0.21	Number of strict rules: 8
0.00/0.21	Direct POLO(bPol) ... failed.
0.00/0.21	Uncurrying p
0.00/0.21	1: p^1_0(x1) -> s(s(0(s(s(p(x1))))))
0.00/0.21	2: p^1_s(0(x1)) -> 0(x1)
0.00/0.21	3: p^1_s(s(x1)) -> s(p^1_s(x1))
0.00/0.21	4: f(s(x1)) -> g(q(i(x1)))
0.00/0.21	5: g(x1) -> f(p(p(x1)))
0.00/0.21	6: q(i(x1)) -> q(s(x1))
0.00/0.21	7: q(s(x1)) -> s(s(x1))
0.00/0.21	8: i(x1) -> s(x1)
0.00/0.21	9: p(0(_1)) ->= p^1_0(_1)
0.00/0.21	10: p(s(_1)) ->= p^1_s(_1)
0.00/0.21	Number of strict rules: 8
0.00/0.21	Direct POLO(bPol) ... failed.
0.00/0.21	Dependency Pairs:
0.00/0.21	   #1: #q(i(x1)) -> #q(s(x1))
0.00/0.21	   #2: #p(0(_1)) ->? #p^1_0(_1)
0.00/0.21	   #3: #p(s(_1)) ->? #p^1_s(_1)
0.00/0.21	   #4: #g(x1) -> #f(p(p(x1)))
0.00/0.21	   #5: #g(x1) -> #p(p(x1))
0.00/0.21	   #6: #g(x1) -> #p(x1)
0.00/0.21	   #7: #p^1_s(s(x1)) -> #p^1_s(x1)
0.00/0.21	   #8: #p^1_0(x1) -> #p(x1)
0.00/0.21	   #9: #f(s(x1)) -> #g(q(i(x1)))
0.00/0.21	   #10: #f(s(x1)) -> #q(i(x1))
0.00/0.21	   #11: #f(s(x1)) -> #i(x1)
0.00/0.21	Number of SCCs: 3, DPs: 5
0.00/0.21	  SCC { #7 }
0.00/0.21	POLO(Sum)... succeeded.
0.00/0.21	      q 	w: 0
0.00/0.21	      s 	w: x1 + 1
0.00/0.21	      #p^1_0	w: 0
0.00/0.21	      #p^1_s	w: x1
0.00/0.21	      p^1_0	w: 0
0.00/0.21	      p^1_s	w: 0
0.00/0.21	      #p 	w: 0
0.00/0.21	      f 	w: 0
0.00/0.21	      p 	w: 0
0.00/0.21	      0 	w: 0
0.00/0.21	      #f 	w: 0
0.00/0.21	      #g 	w: 0
0.00/0.21	      i 	w: 0
0.00/0.21	      #q 	w: 0
0.00/0.21	      g 	w: 0
0.00/0.21	      #i 	w: 0
0.00/0.21	    USABLE RULES: { }
0.00/0.21	    Removed DPs: #7
0.00/0.21	Number of SCCs: 2, DPs: 4
0.00/0.21	  SCC { #2 #8 }
0.00/0.21	POLO(Sum)... succeeded.
0.00/0.21	      q 	w: 0
0.00/0.21	      s 	w: 1
0.00/0.21	      #p^1_0	w: x1 + 1
0.00/0.21	      #p^1_s	w: 0
0.00/0.21	      p^1_0	w: 0
0.00/0.21	      p^1_s	w: 0
0.00/0.21	      #p 	w: x1
0.00/0.21	      f 	w: 0
0.00/0.21	      p 	w: 0
0.00/0.21	      0 	w: x1 + 2
0.00/0.21	      #f 	w: 0
0.00/0.21	      #g 	w: 0
0.00/0.21	      i 	w: 0
0.00/0.21	      #q 	w: 0
0.00/0.21	      g 	w: 0
0.00/0.21	      #i 	w: 0
0.00/0.21	    USABLE RULES: { }
0.00/0.21	    Removed DPs: #2 #8
0.00/0.21	Number of SCCs: 1, DPs: 2
0.00/0.21	  SCC { #4 #9 }
0.00/0.21	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
0.00/0.21	Finding a loop...  failed.
0.00/0.21	EOF