2.60/2.67 YES 2.60/2.67 2.60/2.67 2.60/2.67 Termination: (Ranking Functions Found) 2.60/2.67 ------------ 2.60/2.67 l0: < < __const_10_0 - x0_0, 0 > > 2.60/2.67 l1: < < __const_10_0 - x0_0, __const_10_0 - x0_0 > > 2.60/2.67 2.60/2.67 2.69/2.73 EOF