1.77/1.80 YES 1.77/1.80 1.77/1.80 1.77/1.80 Termination: (Ranking Functions Found) 1.77/1.80 ------------ 1.77/1.80 l2: < < - x_0 >, < 3 - x_0 > > 1.77/1.80 l0: < < - x_0 >, < 3 - x_0 > > 1.77/1.80 l1: < < - x_0 >, < 3 - x_0 > > 1.77/1.80 1.77/1.80 1.81/1.86 EOF