Instance 5

Brazil Instance 5

Brazil Instance 5 was provided in XHSTT by Haroldo Santos. It was initially collected by M.J.F. Souza from the Brazilian public high school, Escola Dom Silverio, located in Mariana, Minas Gerais State. This instance corresponds to the data set DS98M in his work.


This instance was corrected on April 1, 2015, by making the PreferTimesConstraint a hard constraint. Due to this the solution for this instance in the solution group Demirovic, Musliu - LNS MaxSAT submitted on 20 February 2015 by Emir Demirovic and Nysret Musliu with cost 17 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

31

-

-

13

119

325

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

225

-

Haroldo Santos

December 14, 2011

VAGO2012

43

-

Christos Valouxis and Christos Gogos

April 24, 2012

LectioIntegerProgramming

26

15

Simon Kristiansen et al

September 5, 2013

ArtonDorneles_October2013

20

-

Árton Dorneles

October 21, 2013

-

-

19

Árton Dorneles

September 10, 2015

ArtonDorneles_fixopt_2015-09-10

19

-

Árton Dorneles

September 10, 2015

XML file

BrazilInstance5.xml (instance and solutions)


previous versions:

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

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

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