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) :- gt(_0,_1), gt(s(_0),s(_1)) :- gt(_0,_1)], {gt/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 = 39
0.00/0.14	Number of unfolded rules generated by all the parallel proofs = 39
0.00/0.15	EOF