0.00/0.12 NO 0.00/0.12 Non-termination prover = LP(tech=TOPLAS06, unlimited) 0.00/0.12 ** BEGIN proof argument ** 0.00/0.12 p2(o): ([p2(f(_0)) :- p2(_0)], {p2/1->()}) 0.00/0.12 ** End proof argument ** 0.00/0.12 Proof stopped at iteration 1 0.00/0.12 Number of unfolded rules generated by this proof = 2 0.00/0.13 Number of unfolded rules generated by all the parallel proofs = 2 0.00/0.14 EOF