test(nb_cnst, nb_var, nb_elem);
printf("One shot execution time for a total of %d constraints, "
"%d variables with %d active constraint each : %lg microsecondes \n",
test(nb_cnst, nb_var, nb_elem);
printf("One shot execution time for a total of %d constraints, "
"%d variables with %d active constraint each : %lg microsecondes \n",