Instance 7

Brazil Instance 7

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

Haroldo_Dec_2011

330

-

Haroldo Santos

December 14, 2011

VAGO2012

122

-

Christos Valouxis and Christos Gogos

April 11, 2012

LectioIntegerProgramming

84

26

Simon Kristiansen et al

September 5, 2013

ArtonDorneles_October2013

67

-

Árton Dorneles

October 19, 2013

Demirovic, Musliu - LNS MaxSAT

57

-

Emir Demirovic and Nysret Musliu

February 20, 2015

-

-

40

Árton Dorneles

September 10, 2015

ArtonDorneles_fixopt_2015-09-12

53

-

Árton Dorneles

September 12, 2015

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