5.08/5.11 YES 5.08/5.11 5.08/5.11 5.08/5.11 Termination: (Ranking Functions Found) 5.08/5.11 ------------ 5.08/5.11 l6: < < -1 + x_13_0 > > 5.08/5.11 l5: < < -1 + x_13_0 > > 5.08/5.11 l1: < < x_13_0 >, < y_17_0 > > 5.08/5.11 l3: < < x_13_0 >, < y_17_0 > > 5.08/5.11 l4: < < x_13_0 > > 5.08/5.11 5.08/5.11 5.08/5.17 EOF