4.07/4.12 MAYBE 4.07/4.12 4.07/4.12 4.07/4.12 Termination: (Ranking Functions Found) 4.07/4.12 ------------ 4.07/4.12 f58_0_main_GE: < < 11 - arg1 > > 4.07/4.12 n_f58_0_main_GE___2: < < 11 - arg1 > > 4.07/4.12 4.07/4.12 4.07/4.12 Connected Subgraphs where we couldn't prove Termination: 4.07/4.12 -------------------------------------------------------- 4.07/4.12 SCC: 4.07/4.12 +--transitions: t3 4.07/4.12 +--nodes: n_n_n_f58_0_main_GE___1___1___1 4.07/4.12 4.07/4.12 4.07/4.18 EOF