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


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


YES


Termination: (Ranking Functions Found)
------------
eval_main_5: < < 576460751229681664 -1073741822 * v_y.0, 576460750155939840 -1073741822 * v_x.0 >, < 576460752303423488 -1073741822 * v_y.0, 576460749619068928 -1073741821 * v_x.0 >, < 536870910 -v_x.0 > >
eval_main_6: < < 576460751229681664 -1073741822 * v_y.0, 576460750155939840 -1073741822 * v_x.0 >, < 576460752303423488 -1073741822 * v_y.0, 576460749619068928 -1073741821 * v_x.0 >, < 536870910 -v_x.0 > >
eval_main_bb1_in: < < 576460751229681664 -1073741822 * v_y.0, 576460750155939840 -1073741822 * v_x.0 >, < 576460752303423488 -1073741822 * v_y.0, 576460749619068928 + v_2 -1073741822 * v_x.0 >, < 536870911 -v_x.0 > >
eval_main_bb2_in: < < 576460751229681664 -1073741822 * v_y.0, 576460750155939840 -1073741822 * v_x.0 >, < 576460752303423488 -1073741822 * v_y.0, 576460749619068928 -1073741821 * v_x.0 >, < 536870910 -v_x.0 > >
eval_main_bb3_in: < < 576460750155939840 -1073741822 * v_y.0, 576460750155939840 + 1073741822 * v_1 -1073741822 * v_x.0 -1073741822 * v_y.0 >, < 576460751229681664 -1073741822 * v_y.0, 576460750155939840 + 1073741823 * v_1 -1073741821 * v_x.0 -1073741822 * v_y.0 > >
eval_main_bb4_in: < < 576460751229681664 -1073741822 * v_y.0, 576460750155939840 -v_2 -1073741821 * v_x.0 >, < 576460752303423488 -1073741822 * v_y.0, 576460749082198016 -v_1 + v_2 -1073741822 * v_x.0 >, < 536870910 -v_x.0 > >


method 1