50.13/50.19 MAYBE 50.13/50.19 50.13/50.19 50.13/50.19 Termination: (Ranking Functions Found) 50.13/50.19 ------------ 50.13/50.19 f1214_0_member_NULL: < < arg3 >, < arg3 > > 50.13/50.19 n_f1489_0_max_NULL___3: < < arg4 >, < arg6 > > 50.13/50.19 f605_0_createIntList_LE: < < arg1 > > 50.13/50.19 n_f1489_0_max_NULL___4: < < arg4 > > 50.13/50.19 50.13/50.19 50.13/50.19 Connected Subgraphs where we couldn't prove Termination: 50.13/50.19 -------------------------------------------------------- 50.13/50.19 SCC: 50.13/50.19 +--transitions: t4,t5,t6,t7,t8 50.13/50.19 +--nodes: n_n_n_f1489_0_max_NULL___1___1___1,n_n_n_f1489_0_max_NULL___2___3___3 50.13/50.19 50.13/50.19 50.18/50.25 EOF