0.00/0.22	MAYBE
0.00/0.22	Input TRS:
0.00/0.22	    1: b(p(b(x1))) -> b(q(b(x1)))
0.00/0.22	    2: 1(p(0(1(0(x1))))) ->= p(x1)
0.00/0.22	    3: q(x1) ->= 0(q(0(x1)))
0.00/0.22	    4: q(x1) ->= 1(q(1(x1)))
0.00/0.22	    5: q(x1) ->= 0(p(0(x1)))
0.00/0.22	    6: q(x1) ->= 1(p(1(x1)))
0.00/0.22	Number of strict rules: 1
0.00/0.22	Direct POLO(bPol) ... failed.
0.00/0.22	Uncurrying 1
0.00/0.22	1: b(p(b(x1))) -> b(q(b(x1)))
0.00/0.22	2: 1^1_p(0(1^1_0(x1))) ->= p(x1)
0.00/0.22	3: q(x1) ->= 0(q(0(x1)))
0.00/0.22	4: q(x1) ->= 1(q(1(x1)))
0.00/0.22	5: q(x1) ->= 0(p(0(x1)))
0.00/0.22	6: q(x1) ->= 1^1_p(1(x1))
0.00/0.22	7: 1(p(_1)) ->= 1^1_p(_1)
0.00/0.22	8: 1(0(_1)) ->= 1^1_0(_1)
0.00/0.22	Number of strict rules: 1
0.00/0.22	Direct POLO(bPol) ... failed.
0.00/0.22	Dependency Pairs:
0.00/0.22	   #1: #b(p(b(x1))) -> #b(q(b(x1)))
0.00/0.22	Number of SCCs: 1, DPs: 1
0.00/0.22	  SCC { #1 }
0.00/0.22	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
0.00/0.22	Finding a loop...  failed.
0.00/0.22	EOF