25.63/25.69 MAYBE 25.63/25.69 25.63/25.69 25.63/25.69 Connected Subgraphs where we couldn't prove Termination: 25.63/25.69 -------------------------------------------------------- 25.63/25.69 SCC: 25.63/25.69 +--transitions: t6,t7,t8 25.63/25.69 +--nodes: n_n_n_l2___5___3___3,n_n_n_l6___1___2___2 25.63/25.69 25.63/25.69 25.70/25.75 EOF