# 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
# ======================
1   # Number of workers
6   # Number of tasks
1   # Planning horizon (days)
0.5 # Increment of time (hours)

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

# ======================
# Task Time Windows 
# Format : earliest_start latest_end
# ======================
17 22    # Task 0: can be performed between 17:00 and 22:00
12 18    # Task 1: can be performed between 12:00 and 18:00
12 13    # Task 2: can be performed between 12:00 and 13:00
5  8     # Task 3: can be performed between 5:00 and 8:00
14 16    # Task 4: can be performed between 14:00 and 16:00
15 17    # Task 5: can be performed between 15:00 and 17:00

# ======================
# Worker Availability 
# Format : work_start work_end
# All workers have the same availabiliy in this instance
# ======================
6  10  # Worker 0: Available from 6:00 to 10:00