3.21/3.50 MAYBE 3.21/3.50 3.21/3.50 3.21/3.50 Connected Subgraphs where we couldn't prove Termination: 3.21/3.50 -------------------------------------------------------- 3.21/3.50 SCC: 3.21/3.50 +--transitions: t1 3.21/3.50 +--nodes: n_n_n_l0___1___1___1 3.21/3.50 3.21/3.50 3.23/3.56 EOF