BrazilInstance1 Originally from Souza, M.J.F, translated by Santos, H.G.S. and Post, G.F. Dec 4,2009 11:57:26 Brazil Instance number 1 used originally in D.Sc. thesis of Souza, M.J.F. and later in works of Santos, H.G.S. et al. Mo Tu We Th Fr AllTimes TimesDurationTwo Mo_1 Mo_2 Mo_3 Mo_4 Mo_5 Tu_1 Tu_2 Tu_3 Tu_4 Tu_5 We_1 We_2 We_3 We_4 We_5 Th_1 Th_2 Th_3 Th_4 Th_5 Fr_1 Fr_2 Fr_3 Fr_4 Fr_5 Teacher Class allTeachers allClasses T1 T2 T3 T4 T5 T6 T7 T8 S1 S2 S3 T1-S1 T1-S2 T1-S3 T2-S1 T2-S2 T3-S1 T3-S2 T3-S3 T4-S1 T4-S2 T4-S3 T5-S2 T5-S3 T6-S1 T6-S2 T6-S3 T7-S1 T7-S3 T8-S1 T8-S2 T8-S3 All Events T1-S1 3 Class Teacher T1-S2 3 Class Teacher T1-S3 3 Class Teacher T2-S1 5 Class Teacher T2-S2 5 Class Teacher T3-S1 3 Class Teacher T3-S2 3 Class Teacher T3-S3 3 Class Teacher T4-S1 3 Class Teacher T4-S2 3 Class Teacher T4-S3 3 Class Teacher T5-S2 5 Class Teacher T5-S3 5 Class Teacher T6-S1 4 Class Teacher T6-S2 4 Class Teacher T6-S3 4 Class Teacher T7-S1 5 Class Teacher T7-S3 5 Class Teacher T8-S1 2 Class Teacher T8-S2 2 Class Teacher T8-S3 2 Class Teacher AssignTimes true 1 Sum Split events to duration 1 and 2 true 1 Sum 1 2 1 999 At least 1 double lesson(s) false 1 Sum 2 1 1 At least 2 double lesson(s) false 1 Sum 2 2 2 Times for duration 2 false 1 Sum 2 Spread Events max 1 per day true 1 Sum 0 1 0 1 0 1 0 1 0 1 NoResourceClashes true 1 Sum No IDLE times for teachers false 3 Sum 0 0 Compact timetable for teacher 1 false 9 Sum 2 2 Compact timetable for teacher 2 false 9 Sum 3 3 Compact timetable for teacher 3 false 9 Sum 2 2 Compact timetable for teacher 4 false 9 Sum 3 3 Compact timetable for teacher 5 false 9 Sum 3 3 Compact timetable for teacher 6 false 9 Sum 3 3 Compact timetable for teacher 7 false 9 Sum 3 3 Compact timetable for teacher 8 false 9 Sum 2 2 Haroldo Gambini Santos December 2011 Obtained from a compact IP formulation, solved with CBC 2 1 2 1 1 2 2 2 1 1 2 2 1 2 2 1 2 1 1 2 1 2 2 1 2 2 1 2 1 2 2 1 1 1 1 2 2 2 1 2 2 2 1 2 2 1 1 2