0.00/0.05 MAYBE 0.00/0.05 Input TRS: 0.00/0.05 1: p(0(),y) -> y 0.00/0.05 2: p(s(x),y) -> s(p(x,y)) 0.00/0.05 3: p(x,y) ->= p(x,s(y)) 0.00/0.05 Number of strict rules: 2 0.00/0.05 Direct POLO(bPol) ... removes: 1 0.00/0.05 s w: x1 0.00/0.05 p w: 2 * x1 + x2 + 1 0.00/0.05 0 w: 1 0.00/0.05 Number of strict rules: 1 0.00/0.05 Direct POLO(bPol) ... failed. 0.00/0.05 Uncurrying ... failed. 0.00/0.05 Dependency Pairs: 0.00/0.05 #1: #p(s(x),y) -> #p(x,y) 0.00/0.05 #2: #p(x,y) ->? #p(x,s(y)) 0.00/0.05 Number of SCCs: 1, DPs: 2 0.00/0.05 SCC { #1 #2 } 0.00/0.05 POLO(Sum)... succeeded. 0.00/0.05 s w: x1 + 1 0.00/0.05 #p w: x1 0.00/0.05 p w: 0 0.00/0.05 0 w: 0 0.00/0.05 USABLE RULES: { } 0.00/0.05 Removed DPs: #1 0.00/0.05 Number of SCCs: 1, DPs: 1 0.00/0.05 SCC { #2 } 0.00/0.05 POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed. 0.00/0.05 Finding a loop... failed. 0.00/0.05 EOF