59.96/60.02 MAYBE 59.96/60.02 59.96/60.02 59.96/60.02 Termination: (Ranking Functions Found) 59.96/60.02 ------------ 59.96/60.02 l12: < < Pdolen_0 - i_0 > > 59.96/60.02 l13: < < Pdolen_0 - i_0 > > 59.96/60.02 l14: < < Pdolen_0 - i_0 > > 59.96/60.02 l11: < < Pdolen_0 - i_0 > > 59.96/60.02 59.96/60.02 59.96/60.02 Connected Subgraphs where we couldn't prove Termination: 59.96/60.02 -------------------------------------------------------- 59.96/60.02 SCC: 59.96/60.02 +--transitions: t13 59.96/60.02 +--nodes: n_n_n_l5___3___1___3 59.96/60.02 59.96/60.02 60.06/60.09 EOF