11.81/11.85 MAYBE 11.81/11.85 11.81/11.85 11.81/11.85 Termination: (Ranking Functions Found) 11.81/11.85 ------------ 11.81/11.85 n_f131_0_loop_LE___4: < < 48 - arg1 > > 11.81/11.85 n_f131_0_loop_LE___7: < < 28 - arg1 > > 11.81/11.85 n_f89_0_loop_LE___10: < < 49 - arg1 > > 11.81/11.85 n_f131_0_loop_LE___1: < < arg1 > > 11.81/11.85 n_f89_0_loop_LE___2: < < arg1 > > 11.81/11.85 n_f131_0_loop_LE___8: < < 28 - arg1 > > 11.81/11.85 n_f89_0_loop_LE___11: < < 29 - arg1 > > 11.81/11.85 11.81/11.85 11.81/11.85 Connected Subgraphs where we couldn't prove Termination: 11.81/11.85 -------------------------------------------------------- 11.81/11.85 SCC: 11.81/11.85 +--transitions: t10 11.81/11.85 +--nodes: n_n_n_f89_0_loop_LE___6___2___1 11.81/11.85 11.81/11.85 11.87/11.92 EOF