Brazil Instance 3 was provided in XHSTT by Haroldo Santos. It was initially collected by M.J.F. Souza from the Brazilian public high school, Escola Dom Silv´erio, located in Mariana, Minas Gerais State. This instance corresponds to the data set BR89M in his work.
This instance was corrected on April 1, 2015, by making the PreferTimesConstraint a hard constraint. Lowerbounds remain correct after change.
Due to this the solution for this instance in the solution group LectioIntegerProgramming submitted on 5 September 2013 by Simon Kristiansen et al. with cost 23 turned infeasible and has been removed from the list of best solutions. Matias Sørensen submitted a newly generated solution on April 5, 2015.
A summary of the data can be found in the following table:
Assets | Times | Teachers | Rooms | Students | Classes | # events | Total duration |
value | 25 | 16 | - | - | 8 | 69 | 200 |
The following constraints are present:
- Scheduling constraints: AssignTimeConstraint and SplitEventsConstraint.
- Event constraints: DistributeSplitEventsConstraint, PreferTimesConstraint, and SpreadEventsConstraint.
- Resource constraints: AvoidClashesConstraint, AvoidUnavailableTimesConstraint, LimitIdleTimesConstraint, and ClusterBusyTimesConstraint.
The following (feasible) solutions are submitted for this instance:
SolutionGroup | Objective value | Lowerbound | Submitted by | Received |
Haroldo_Dec_2011 | 98 | - | Haroldo Santos | December 14, 2011 |
VAGOS | 47 | - | Christos Gogos et al | June 23, 2012 |
DTU-TwoStageDecomposition | - | 23 | Matias Sørensen | December 18, 2012 |
LectioIntegerProgramming | 24 | 24 | Matias Sørensen | April 5, 2015 |
XML file
BrazilInstance3.xml (instance and solutions)
previous versions:
BrazilInstance3.xml (XHSTT2013)
[Update to 2014: cost function simplified.]