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