21.26/21.34 MAYBE 21.26/21.34 21.26/21.34 21.26/21.34 Termination: (Ranking Functions Found) 21.26/21.34 ------------ 21.26/21.34 l7: < < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - x_5_0 + y_6_0 > > 21.26/21.34 l3: < < -1 - y_6_0 + z_7_0 >, < 0 > > 21.26/21.34 l5: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < - y_6_0 + z_7_0 > > 21.26/21.34 l10: < < - y_6_0 + z_7_0 >, < 0 >, < 0 > > 21.26/21.34 l12: < < -1 - y_6_0 + z_7_0 >, < 0 > > 21.26/21.34 l2: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < 1 - y_6_0 + z_7_0 > > 21.26/21.34 l4: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < 1 - y_6_0 + z_7_0 > > 21.26/21.34 l1: < < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - x_5_0 + y_6_0 > > 21.26/21.34 l6: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < - y_6_0 + z_7_0 > > 21.26/21.34 l11: < < -1 - y_6_0 + z_7_0 >, < 0 > > 21.26/21.34 l13: < < -1 - y_6_0 + z_7_0 >, < 0 > > 21.26/21.34 l9: < < - y_6_0 + z_7_0 >, < 0 >, < 0 > > 21.26/21.34 21.26/21.34 21.26/21.34 Connected Subgraphs where we couldn't prove Termination: 21.26/21.34 -------------------------------------------------------- 21.26/21.34 SCC: 21.26/21.34 +--transitions: t6 21.26/21.34 +--nodes: n_n_n_l3___7___7___7 21.26/21.34 21.26/21.34 21.38/21.40 EOF