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	div(i,i,o): ([div(s(_0),s(0),s(_1)) :- div(s(_0),s(0),_1)], {div/3->(0->s(_0), 1->s(0))})
0.00/0.14	** End proof argument **
0.00/0.14	Proof stopped at iteration 3
0.00/0.14	Number of unfolded rules generated by this proof = 34
0.00/0.14	Number of unfolded rules generated by all the parallel proofs = 34
0.00/0.15	EOF