Kosova Instance 1 was provided by Nysret Musliu; it taken from a school in Prishtina for the year 2011/2012. The instance was converted to XHSTT by Nysret Musliu and Gerhard Post.
A summary of the data can be found in the following table:
Assets |
Times |
Teachers |
Rooms |
Students |
Classes |
# events |
Total duration |
value |
62 |
101 |
- |
- |
63 |
809 |
1912 |
The following constraints are present:
- Scheduling constraints: AssignTimeConstraint, SplitEventsConstraint, and DistributeSplitEventsConstraint.
- Event constraints: PreferTimesConstraint and SpreadEventsConstraint.
- Resource constraints: AvoidClashesConstraint, AvoidUnavailableTimesConstraint, LimitIdleTimesConstraint, and LimitBusyTimesConstraint.
The following (feasible) solutions are submitted for this instance:
SolutionGroup |
Objective value |
Submitted by |
Received |
Nysret_2012-04-27 |
10553 |
Solution used in school |
April 27, 2012 |
GOAL |
3 |
Haroldo Santos et al. |
July 10, 2012 |
Demirovic, Musliu - LNS MaxSAT |
0 |
Emir Demirovic and Nysret Musliu |
February 20, 2015 |
XML file
KosovaInstance1.xml (instance and solutions)
previous versions:
KosovaInstance1.xml (XHSTT2013)
[Update to 2014: cost function simplified.]