It seems like the scheduling feature does not account for "holidays" set on the schedule, which we entered through Setup > Schedules. It seems like it shows these designers as available during that holiday.
Workload Balancer solution is the replacement for the Resource Scheduling tool and provides the described functionality. Learn more about it in the article here: Link
