20.84/20.87 MAYBE 20.84/20.87 20.84/20.87 20.84/20.87 Connected Subgraphs where we couldn't prove Termination: 20.84/20.87 -------------------------------------------------------- 20.84/20.87 SCC: 20.84/20.87 +--transitions: t3,t4,t5,t6 20.84/20.87 +--nodes: n_n_n_l1___1___2___2,n_n_n_l1___2___1___1 20.84/20.87 20.84/20.87 20.91/20.93 EOF