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