MAYBE


Termination: (Ranking Functions Found)
------------
n_n_n_eval_main_bb1_in___1___1___16: < < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___1___18: < < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___2___14: < < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___2___15: < < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___2___17: < < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___3___4: < < 1 + v_6 + v_x_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 2 + v_6 + v_x_P0 > >
n_n_n_eval_main_bb1_in___1___3___6: < < 1 + v_6 + v_x_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 2 + v_6 + v_x_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___4___11: < < 1 + v_5 + v_y_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_6 + v_x_P0 > >
n_n_n_eval_main_bb1_in___1___4___13: < < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___4___9: < < 1 + v_5 + v_y_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___5___2: < < 1 + v_6 + v_x_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 2 + v_6 + v_x_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___5___3: < < 1 + v_6 + v_x_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 2 + v_6 + v_x_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___5___5: < < 1 + v_x_P0 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___6___1: < < 1 + v_5 + v_y_P0 > >
n_n_n_eval_main_bb1_in___1___6___10: < < 1 + v_5 + v_y_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_6 + v_x_P0 > >
n_n_n_eval_main_bb1_in___1___6___12: < < 1 + v_5 + v_y_P0 >, < 1 + v_x_P0 + v_y_P0 >, < 1 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 2 + v_5 + v_y_P0 >, < 1 + v_6 + v_x_P0 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t15,t8
+--nodes: n_n_n_n_n_n_n_n_n_eval_main_bb1_in___1___1___18___23___23___23___23___23___23,n_n_n_n_n_n_n_n_n_eval_main_bb1_in___1___2___15___20___20___20___20___20___20

deterministic: True
method 4