Spain School is taken from the examples that are provided by
FET under the name 'Spanish_school.fet'.
The instance was converted to XHSTT by Michael Pimmer and Gerhard Post.
The most remarkable is the extensive use of SpreadEventConstraints
to spread lessons in a subject over the week, avoiding consecutive days.
In converting to XHSTT it was difficult to set the proper weights to the constraints.
The solution presented was obtained by running FET 5.16.0 on the original fet format instance,
running for 1 second (approximately) using default settings.
A summary of the data can be found in the following table:
|
Assets |
Times |
Teachers |
Rooms |
Students |
Classes |
# events |
Total duration |
|
value |
35 |
66 |
4 |
- |
21 |
225 |
439 |
The following constraints are present:
- Scheduling constraints: AssignResourceConstraint, AssignTimeConstraint, and SplitEventsConstraint.
- Event constraints: PreferResourcesConstraint and SpreadEventsConstraint.
- Resource constraints: AvoidClashesConstraint, AvoidUnavailableTimesConstraint, ClusterBusyTimesConstraint, and LimitBusyTimesConstraint.
The following solutions are submitted for this instance:
|
SolutionGroup |
Feas value |
Obj value |
Lowerbound |
Submitted by |
Received |
|
FET_5.16.0 |
3 |
5966 |
- |
Solution with FET 5.16.0 |
March, 2012 |
|
LectioIntegerProgramming |
0 |
357 |
330 |
Simon Kristiansen et al |
September 5, 2013 |
|
LectioIntegerProgramming |
0 |
336 |
334 |
Simon Kristiansen, Matias Sørensen, Thomas R. Stidsen |
August 27, 2014 |
|
LectioIntegerProgramming |
0 |
335 |
- |
Matias Sørensen |
January 4, 2016 |
XML file
SpainSchool.xml (instance and solution)
previous versions:
SpainSchool.xml (XHSTT2013)
[Update to 2014: cost function simplified.]
[Update, 2013-07-28: The 4 double references (in 2 events and in 2 constraints) to event group "gr_Event664_666" have been removed.]