Brazil Instance 6 is a real problem, collected in the year 2000, at the public school Dom Silvério, located in Mariana, Minas Gerais, Brasil.
This instance corresponds to the evening shift at this school.
In the work of M.J.F. Souza et al, it corresponds to data set DS00N.
It was provided in XHSTT by Haroldo Santos.
This instance was corrected on April 1, 2015, by making the PreferTimesConstraint a hard constraint.
Due to this the solution group Demirovic, Musliu - LNS MaxSAT submitted on 20 February 2015 by Emir Demirovic and Nysret Musliu with cost 34 turned infeasible,
and has been removed from the list of best solutions.
Lowerbounds remain correct after change.
A summary of the data can be found in the following table:
|
Assets |
Times |
Teachers |
Rooms |
Students |
Classes |
# events |
Total duration |
|
value |
25 |
30 |
- |
- |
14 |
140 |
350 |
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 |
209 |
- |
Haroldo Santos |
December 14, 2011 |
|
Lectio |
60 |
- |
Matias Sorensen and Simon Kristiansen |
July 7, 2012 |
|
LectioIntegerProgramming |
59 |
18 |
Simon Kristiansen et al |
September 5, 2013 |
|
ArtonDorneles_fixopt |
35 |
35 |
Árton Dorneles |
August 22, 2014 |
XML file
BrazilInstance6.xml (instance and solutions)
previous versions:
BrazilInstance6.xml (XHSTT2013)
[Update to 2014: cost function simplified.]
BrazilInstance1.xml (XHSTT2012)
[Update to 2013: Added unavailabilities of the teachers; rename the Id to BR-SN-00]
BrazilInstance6.xml (XHSTT2011)
[Update to 2012: spreading of subevents improved, soft constraints added.]
BrazilInstance6.xml (XHSTT2010)
[Update to 2011: Throughout renamed "SchoolClass" to "Class".]