3.94/4.00 MAYBE 3.94/4.00 3.94/4.00 3.94/4.00 Connected Subgraphs where we couldn't prove Termination: 3.94/4.00 -------------------------------------------------------- 3.94/4.00 SCC: 3.94/4.00 +--transitions: t1 3.94/4.00 +--nodes: n_n_n_l1___1___1___1 3.94/4.00 3.94/4.00 4.02/4.06 EOF