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	qs(o,i): ([qs([_0|[_1|_2]],_3) :- less(_0,_1), less(s(_0),s(_1)) :- less(_0,_1)], {less/2->(), qs/2->(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 = 27
0.00/0.14	Number of unfolded rules generated by all the parallel proofs = 27
0.00/0.16	EOF