5.00/5.07 MAYBE 5.00/5.07 5.00/5.07 5.00/5.07 Connected Subgraphs where we couldn't prove Termination: 5.00/5.07 -------------------------------------------------------- 5.00/5.07 SCC: 5.00/5.07 +--transitions: t1 5.00/5.07 +--nodes: n_n_n_l1___1___1___1 5.00/5.07 5.00/5.07 5.07/5.14 EOF