YES


Termination: (Ranking Functions Found)
------------
n_eval_main_bb1_in___3: < < 90 + 10 * v_c_P0 -v_n_P0 > >
n_eval_main_bb1_in___4: < < 90 + 10 * v_c_P0 -v_n_P0 > >
n_eval_main_bb2_in___1: < < 90 + 10 * v_c_P0 -v_n_P0 > >
n_eval_main_bb2_in___2: < < 90 + 10 * v_c_P0 -v_n_P0 > >
n_n_eval_main_bb1_in___3___10: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >
n_n_eval_main_bb1_in___3___4: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >
n_n_eval_main_bb1_in___3___7: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >
n_n_eval_main_bb1_in___4___1: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 > >
n_n_eval_main_bb1_in___4___3: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 > >
n_n_eval_main_bb1_in___4___6: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 > >
n_n_eval_main_bb1_in___4___9: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >
n_n_eval_main_bb2_in___1___2: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >
n_n_eval_main_bb2_in___1___5: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >
n_n_eval_main_bb2_in___1___8: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >
n_scc_init: < < 89 -v_5 + 11 * v_c_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < 100 -v_5 >, < -v_5 + v_n_P0 >, < v_3 >, < v_3 >, < v_3 >, < v_3 >, < 100 -v_n_P0 > >


method 1