/export/starexec/sandbox/solver/bin/starexec_run_competition /export/starexec/sandbox/benchmark/theBenchmark.c /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


MAYBE


Termination: (Ranking Functions Found)
------------
n_n_n_eval_main_bb1_in___11___6___2: < < 650 * v_i_P0 > >
n_n_n_eval_main_bb1_in___11___8___5: < < 650 * v_i_P1 > >
n_n_n_eval_main_bb1_in___11___8___8: < < 702 * v_4 > >
n_n_n_eval_main_bb1_in___12___3___7: < < v_i_P0 > >
n_n_n_eval_main_bb1_in___7___1___1: < < v_i_P2 > >
n_n_n_eval_main_bb2_in___1___4___3: < < 702 * v_4 > >
n_n_n_eval_main_bb2_in___1___4___4: < < 675 * v_i_P2 > >
n_n_n_n_n_n_eval_main_bb1_in___11___8___5___3___3___3: < < 25 * v_i_P0 > >
n_n_n_n_n_n_eval_main_bb1_in___11___8___8___2___2___2: < < 26 * v_i_P0 > >
n_n_n_n_n_n_eval_main_bb2_in___1___4___3___1___1___1: < < 26 * v_i_P0 > >
n_n_n_n_n_n_n_n_n_eval_main_bb1_in___11___8___5___3___3___3___3___3___3: < < 25 * v_i_P0 > >
n_n_n_n_n_n_n_n_n_eval_main_bb1_in___11___8___8___2___2___2___2___2___2: < < 26 * v_i_P2 > >
n_n_n_n_n_n_n_n_n_eval_main_bb2_in___1___4___3___1___1___1___1___1___1: < < 26 * v_4 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t3,t4,t5
+--nodes: n_n_n_n_n_n_n_n_n_eval_main_bb1_in___11___8___5___3___3___3___3___3___3,n_n_n_n_n_n_n_n_n_eval_main_bb1_in___11___8___8___2___2___2___2___2___2,n_n_n_n_n_n_n_n_n_eval_main_bb2_in___1___4___3___1___1___1___1___1___1

deterministic: True
method 4