0.00/0.49	YES
0.00/0.49	Input TRS:
0.00/0.49	    1: s(p(x)) -> x
0.00/0.49	    2: p(s(x)) -> x
0.00/0.49	    3: pos(0()) -> false()
0.00/0.49	    4: pos(s(0())) -> true()
0.00/0.49	    5: pos(s(x)) -> true()
0.00/0.49	    6: pos(p(x)) -> false()
0.00/0.49	Infeasibility test:
0.00/0.49	    pos(0()) --> true()
0.00/0.49	EOF