REPORT("Relation encoding: %fs\n", time_end_rel, time_start_rel);
REPORT("Solving encoding: %fs\n", time_end_solve, time_start_solve);
REPORT("Relation encoding: %fs\n", time_end_rel, time_start_rel);
REPORT("Solving encoding: %fs\n", time_end_solve, time_start_solve);