Instance 4 (BR-SM-00)

Brazil Instance 4

Brazil Instance 4 is a real problem, collected in the year 2000 by M.J.F. Souza, at the public school Dom Silvério, located in Mariana, Minas Gerais, Brasil. This instance corresponds to the morning shift at this school. It was provided in XHSTT format by Haroldo Santos. Haroldo's solution can be found on page 69 (Appendix B) of his PhD thesis.


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

23

-

-

12

127

300

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

Haroldo_Dec_2011

112

-

Haroldo Santos

December 14, 2011

VAGOS

78

-

Christos Gogos et al.

June 23, 2012

LectioIntegerProgramming

61

49

Simon Kristiansen et al

September 5, 2013

DTU-TwoStageDecomposition

51

51

Matias Sørensen

December 18, 2013

ArtonDorneles_fixopt

-

51

Árton Dorneles

September 3, 2014

XML file

BrazilInstance4.xml (instance and solutions)


previous versions:

BrazilInstance4.xml (XHSTT2013)
[Update to 2014: cost function simplified.]

BrazilInstance1.xml (XHSTT2012)
[Update to 2013: Added unavailabilities of the teachers; renamed the id to BR-SM-00]

BrazilInstance4.xml (XHSTT2011)
[Update to 2012: spreading of subevents improved, soft constraints added.]

BrazilInstance4.xml (XHSTT2010)
[Update to 2011: Throughout renamed "SchoolClass" to "Class".]