4.83/4.93 MAYBE 4.83/4.93 4.83/4.93 4.83/4.93 Termination: (Ranking Functions Found) 4.83/4.93 ------------ 4.83/4.93 f162_0_main_GE: < < - arg1 + arg2 > > 4.83/4.93 n_f162_0_main_GE___2: < < 97 - arg1 > > 4.83/4.93 4.83/4.93 4.83/4.93 Connected Subgraphs where we couldn't prove Termination: 4.83/4.93 -------------------------------------------------------- 4.83/4.93 SCC: 4.83/4.93 +--transitions: t3 4.83/4.93 +--nodes: n_n_n_f162_0_main_GE___1___1___1 4.83/4.93 4.83/4.93 4.98/5.00 EOF