24.29/24.37 MAYBE 24.29/24.37 24.29/24.37 24.29/24.37 Connected Subgraphs where we couldn't prove Termination: 24.29/24.37 -------------------------------------------------------- 24.29/24.37 SCC: 24.29/24.37 +--transitions: t1,t2,t3,t4 24.29/24.37 +--nodes: n_n_n_l1___1___1___1,n_n_n_l1___2___2___2 24.29/24.37 24.29/24.37 24.35/24.44 EOF