0.00/0.14	NO
0.00/0.14	Non-termination prover = LP(tech=TOPLAS06, unlimited)
0.00/0.14	** BEGIN proof argument **
0.00/0.14	delete(i,o,o): ([delete(0,tree(s(_0),tree(0,_1,_2),_3),tree(s(_0),tree(_4,_1,_5),_3)) :- delmin(_2,_4,_5), delmin(tree(_0,_1,_2),_3,tree(_0,_4,_5)) :- delmin(_1,_3,_4)], {delete/3->(0->0), delmin/3->(1->_0)})
0.00/0.14	** End proof argument **
0.00/0.14	Proof stopped at iteration 2
0.00/0.14	Number of unfolded rules generated by this proof = 29
0.00/0.14	Number of unfolded rules generated by all the parallel proofs = 29
0.00/0.16	EOF