4.97/4.98 MAYBE 4.97/4.98 4.97/4.98 4.97/4.98 Termination: (Ranking Functions Found) 4.97/4.98 ------------ 4.97/4.98 n_f55_0_main_GE___2: < < 49 - arg1 > > 4.97/4.98 4.97/4.98 4.97/4.98 Connected Subgraphs where we couldn't prove Termination: 4.97/4.98 -------------------------------------------------------- 4.97/4.98 SCC: 4.97/4.98 +--transitions: t3,t4 4.97/4.98 +--nodes: n_n_n_f55_0_main_GE___1___1___1 4.97/4.98 4.97/4.98 5.01/5.04 EOF