Rename forum instances
It was suggested to rename the instances from Gurobi and Cplex forums. This should only be performed after we have finalized the selection.
It was suggested to rename the instances from Gurobi and Cplex forums. This should only be performed after we have finalized the selection.