4.65/4.70 YES 4.65/4.70 4.65/4.70 4.65/4.70 Termination: (Ranking Functions Found) 4.65/4.70 ------------ 4.65/4.70 l2: < < 9 - x0_0, 0 >, < 11 - x1_0, 0 > > 4.65/4.70 l1: < < 9 - x0_0, 9 - x0_0 > > 4.65/4.70 l0: < < 9 - x0_0, 0 > > 4.65/4.70 l3: < < 9 - x0_0, 0 >, < 11 - x1_0, 11 - x1_0 > > 4.65/4.70 4.65/4.70 4.72/4.76 EOF