3.97/4.05 MAYBE 3.97/4.05 3.97/4.05 3.97/4.05 Connected Subgraphs where we couldn't prove Termination: 3.97/4.05 -------------------------------------------------------- 3.97/4.05 SCC: 3.97/4.05 +--transitions: t1 3.97/4.05 +--nodes: n_n_n_f93_0_main_GE___1___1___1 3.97/4.05 3.97/4.05 4.07/4.11 EOF