22.54/22.63 MAYBE 22.54/22.63 22.54/22.63 22.54/22.63 Termination: (Ranking Functions Found) 22.54/22.63 ------------ 22.54/22.63 l7: < < - tmp_11_0 - y_9_0 + z_10_0 > > 22.54/22.63 l5: < < - y_9_0 + z_10_0 >, < - x_8_0 + y_9_0 > > 22.54/22.63 l1: < < -1 - y_9_0 + z_10_0 > > 22.54/22.63 l3: < < - y_9_0 + z_10_0 >, < - x_8_0 + y_9_0 > > 22.54/22.63 l2: < < - y_9_0 + z_10_0 > > 22.54/22.63 l6: < < - y_9_0 + z_10_0 > > 22.54/22.63 l0: < < - y_9_0 + z_10_0 > > 22.54/22.63 22.54/22.63 22.54/22.63 Connected Subgraphs where we couldn't prove Termination: 22.54/22.63 -------------------------------------------------------- 22.54/22.63 SCC: 22.54/22.63 +--transitions: t6 22.54/22.63 +--nodes: n_n_n_l2___5___4___4 22.54/22.63 22.54/22.63 22.63/22.69 EOF