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