2.50/2.53 YES 2.50/2.53 2.50/2.53 2.50/2.53 Termination: (Ranking Functions Found) 2.50/2.53 ------------ 2.50/2.53 l3: < < -2 - x_5_0 + y_6_0 > > 2.50/2.53 l1: < < -1 - x_5_0 + y_6_0 > > 2.50/2.53 l0: < < - x_5_0 + y_6_0 > > 2.50/2.53 l2: < < -2 * b_7_0 - x_5_0 + y_6_0 > > 2.50/2.53 2.50/2.53 2.55/2.59 EOF