77.65/77.74 MAYBE 77.65/77.74 77.65/77.74 77.65/77.74 Termination: (Ranking Functions Found) 77.65/77.74 ------------ 77.65/77.74 n_l5___8: < < Pdolen_0 - i_0 > > 77.65/77.74 l2: < < Pdolen_0 - i_0 > > 77.65/77.74 l5: < < Pdolen_0 - i_0 > > 77.65/77.74 l0: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l3___12: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l5___4: < < Pdolen_0 - i_0 > > 77.65/77.74 l3: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l2___18: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l5___14: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l0___19: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l2___10: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l2___16: < < Pdolen_0 - i_0 > > 77.65/77.74 n_l3___21: < < Pdolen_0 - i_0 > > 77.65/77.74 77.65/77.74 77.65/77.74 Connected Subgraphs where we couldn't prove Termination: 77.65/77.74 -------------------------------------------------------- 77.65/77.74 SCC: 77.65/77.74 +--transitions: t11 77.65/77.74 +--nodes: n_n_n_l1___15___10___10 77.65/77.74 77.65/77.74 77.72/77.81 EOF