Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results · Study