Instance 6 (BR-SN-00)

Brazil Instance 6

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".]