8.66/8.69 MAYBE 8.66/8.69 8.66/8.69 8.66/8.69 Termination: (Ranking Functions Found) 8.66/8.69 ------------ 8.66/8.69 n_l0___1: < < - x_5_0 + y_6_0 >, < - x_5_0 + y_6_0 > > 8.66/8.69 n_l0___2: < < - x_5_0 + y_6_0 > > 8.66/8.69 l0: < < - x_5_0 + y_6_0 > > 8.66/8.69 l4: < < -1 - x_5_0 + y_6_0 > > 8.66/8.69 l2: < < - x_5_0 + y_6_0 > > 8.66/8.69 l3: < < - x_5_0 + y_6_0 > > 8.66/8.69 l5: < < -1 - x_5_0 + y_6_0 > > 8.66/8.69 8.66/8.69 8.66/8.69 Connected Subgraphs where we couldn't prove Termination: 8.66/8.69 -------------------------------------------------------- 8.66/8.69 SCC: 8.66/8.69 +--transitions: t6 8.66/8.69 +--nodes: n_n_n_l0___2___1___1 8.66/8.69 8.66/8.69 8.73/8.75 EOF