Dataset for paper "Integrating Machine Learning and Mathematical Optimization for Job Shop Scheduling"