# Workforce Scheduling Instance
# Format: All times are in hours (will be converted to seconds in the model)
# Empty lines and comments (starting with #) are ignored

# ======================
# Problem Dimensions
# ======================
7   # Number of workers
8   # Number of tasks
1   # Planning horizon (days)
0.5 # Increment of time (hours)

# ======================
# Task Durations (hours)
# ======================
1    # Duration of task 0
5    # Duration of task 1
4    # Duration of task 2
5    # Duration of task 3
3    # Duration of task 4
3    # Duration of task 5
1    # Duration of task 6
2    # Duration of task 7

# ======================
# Task Time Windows 
# Format : earliest_start latest_end
# ======================
5  6     # Task 0: can be performed between 5:00 and 6:00
6  11    # Task 1: can be performed between 6:00 and 11:00
6  10    # Task 2: can be performed between 6:00 and 10:00
16 21    # Task 3: can be performed between 16:00 and 21:00
9  12    # Task 4: can be performed between 9:00 and 12:00
14 17    # Task 5: can be performed between 14:00 and 17:00
15 16    # Task 6: can be performed between 15:00 and 16:00
14 16    # Task 7: can be performed between 14:00 and 16:00

# ======================
# Worker Availability 
# Format : work_start work_end
# All workers have the same availabiliy in this instance
# ======================
13 18  # Worker 0: Available from 13:00 to 18:00
9  17  # Worker 1: Available from 9:00 to 17:00
5  9   # Worker 2: Available from 5:00 to 9:00
5  15  # Worker 3: Available from 5:00 to 15:00
8  13  # Worker 4: Available from 8:00 to 13:00
6  12  # Worker 5: Available from 6:00 to 12:00
13 19  # Worker 6: Available from 13:00 to 19:00