NO NON-Termination: ---------------- SCC: +--transitions: t3,t4,t5,t6 +--nodes: n_eval_main_bb1_in___2,n_eval_main_bb1_in___4,n_eval_main_bb2_in___1,n_eval_main_bb2_in___3 Closed walk: 4 -> t3, t4, t5, t6 Reachability checked! - Recurrent Set Found: { -51 + v_i_P0_P == 0, -51 + v__P_P == 0, -49 + X5 == 0, -49 + X4 == 0, -49 + X3 == 0, -49 + X2 == 0, -51 + X1 == 0, -51 + X0 == 0, -51 + v_i_P0 == 0, -51 + v__P == 0 } method 2