3.91/3.93 MAYBE 3.91/3.93 3.91/3.93 3.91/3.93 Connected Subgraphs where we couldn't prove Termination: 3.91/3.93 -------------------------------------------------------- 3.91/3.93 SCC: 3.91/3.93 +--transitions: t1 3.91/3.93 +--nodes: n_n_n_l0___1___1___1 3.91/3.93 3.91/3.93 3.94/3.99 EOF