Brazil Instance 7 is an artificial problem, created by augmenting some of the previous instances so that more classes are considered. It was provided in XHSTT by Haroldo Santos.
This instance was corrected on April 1, 2015, by making the PreferTimesConstraint a hard constraint.
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 | 33 | - | - | 20 | 205 | 500 |
The following constraints are present:
- Scheduling constraints: AssignTimeConstraint and SplitEventsConstraint.
- Event constraints: DistributeSplitEventsConstraint, PreferTimesConstraint, and SpreadEventsConstraint.
- Resource constraints: AvoidClashesConstraint, LimitIdleTimesConstraint, and ClusterBusyTimesConstraint.
The following (feasible) solutions are submitted for this instance:
SolutionGroup | Objective value | Lowerbound | Submitted by | Received |
Dudek Timetables 2026 | 42 | - | Wiesław Dudek | October 6, 2026 |
Professum_2026-09 | 44 | - | Dionisio Chiuratto Agourakis | September 29, 2026 |
- | - | 40 | Dionisio Chiuratto Agourakis | September 29, 2026 |
ArtonDorneles_fixopt_2015-09-12 | 53 | - | Árton Dorneles | September 12, 2015 |
- | - | 40 | Árton Dorneles | September 10, 2015 |
Demirovic, Musliu - LNS MaxSAT | 57 | - | Emir Demirovic and Nysret Musliu | February 20, 2015 |
ArtonDorneles_October2013 | 67 | - | Árton Dorneles | October 19, 2013 |
LectioIntegerProgramming | 84 | 26 | Simon Kristiansen et al | September 5, 2013 |
VAGO2012 | 122 | - | Christos Valouxis and Christos Gogos | April 11, 2012 |
Haroldo_Dec_2011 | 330 | - | Haroldo Santos | December 14, 2011 |
XML file
BrazilInstance7.xml (instance and solutions)
previous versions:
BrazilInstance7.xml (XHSTT2013)
[Update to 2014: cost function simplified.]
BrazilInstance7.xml (XHSTT2011)
[Update to 2012: spreading of subevents improved, soft constraints added.]
BrazilInstance7.xml (XHSTT2010)
[Update to 2011: Throughout renamed "SchoolClass" to "Class".]