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:

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:

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