3.70/3.75 YES 3.70/3.75 3.70/3.75 3.70/3.75 Termination: (Ranking Functions Found) 3.70/3.75 ------------ 3.70/3.75 l2: < < 3 - j_0 > > 3.70/3.75 l0: < < 2 - j_0 > > 3.70/3.75 l1: < < 2 - j_0 > > 3.70/3.75 l6: < < 3 - j_0 > > 3.70/3.75 3.70/3.75 3.77/3.81 EOF