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	ackermann(i,o,i): ([ackermann(s(_0),s(_1),_2) :- ackermann(s(_0),_1,_3)], {ackermann/3->(0->s(_0), 2->_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 = 3
0.00/0.13	Number of unfolded rules generated by all the parallel proofs = 3
0.00/0.15	EOF