Instance1 (KS-PR-11)

Kosova Instance 1

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