BrazilInstance4 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 4 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 Teacher Class allTeachers allClasses T1 T2 T3 T4 T5 T6 T7 T8 T9 T10 T11 T12 T13 T14 T15 T16 T17 T18 T19 T20 T21 T22 T23 S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 S12 T1-S1 T1-S2 T1-S6 T1-S7 T1-S8 T2-S2 T2-S3 T2-S5 T2-S9 T2-S10 T2-S11 T2-S12 T3-S4 T4-S1 T4-S4 T5-S5 T5-S6 T5-S7 T5-S8 T6-S1 T6-S5 T6-S6 T6-S7 T6-S8 T6-S9 T6-S10 T6-S11 T6-S12 T7-S2 T7-S3 T7-S4 T8-S1 T8-S2 T8-S3 T8-S4 T8-S8 T8-S9 T8-S10 T8-S11 T8-S12 T9-S5 T9-S6 T9-S7 T10-S1 T10-S2 T10-S3 T10-S4 T10-S5 T11-S6 T11-S7 T11-S8 T11-S9 T11-S10 T11-S11 T11-S12 T12-S1 T12-S2 T12-S3 T12-S4 T12-S5 T12-S6 T12-S7 T13-S8 T13-S9 T13-S10 T13-S11 T13-S12 T14-S1 T14-S2 T14-S3 T14-S4 T14-S11 T14-S12 T15-S5 T15-S6 T15-S7 T15-S8 T15-S9 T15-S10 T16-S1 T16-S2 T16-S3 T16-S4 T16-S5 T16-S6 T17-S7 T17-S8 T17-S9 T17-S10 T17-S11 T17-S12 T18-S1 T18-S2 T18-S3 T18-S4 T18-S5 T18-S6 T18-S7 T19-S8 T20-S9 T20-S10 T20-S11 T20-S12 T21-S9 T21-S10 T21-S11 T21-S12 T22-S1 T22-S2 T22-S3 T22-S4 T22-S9 T22-S10 T22-S11 T22-S12 T23-S1 T23-S2 T23-S3 T23-S4 T23-S5 T23-S6 T23-S7 T23-S8 T23-S9 T23-S10 T23-S11 T23-S12 All Events T1-S1 3 Class Teacher T1-S2 3 Class Teacher T1-S6 4 Class Teacher T1-S7 4 Class Teacher T1-S8 4 Class Teacher T2-S2 1 Class Teacher T2-S3 4 Class Teacher T2-S5 4 Class Teacher T2-S9 4 Class Teacher T2-S10 4 Class Teacher T2-S11 4 Class Teacher T2-S12 4 Class Teacher T3-S4 3 Class Teacher T4-S1 1 Class Teacher T4-S4 1 Class Teacher T5-S5 1 Class Teacher T5-S6 1 Class Teacher T5-S7 1 Class Teacher T5-S8 1 Class Teacher T6-S1 2 Class Teacher T6-S5 2 Class Teacher T6-S6 2 Class Teacher T6-S7 2 Class Teacher T6-S8 2 Class Teacher T6-S9 2 Class Teacher T6-S10 2 Class Teacher T6-S11 2 Class Teacher T6-S12 2 Class Teacher T7-S2 2 Class Teacher T7-S3 2 Class Teacher T7-S4 2 Class Teacher T8-S1 2 Class Teacher T8-S2 2 Class Teacher T8-S3 2 Class Teacher T8-S4 2 Class Teacher T8-S8 2 Class Teacher T8-S9 2 Class Teacher T8-S10 2 Class Teacher T8-S11 2 Class Teacher T8-S12 2 Class Teacher T9-S5 2 Class Teacher T9-S6 2 Class Teacher T9-S7 2 Class Teacher T10-S1 2 Class Teacher T10-S2 2 Class Teacher T10-S3 2 Class Teacher T10-S4 2 Class Teacher T10-S5 2 Class Teacher T11-S6 2 Class Teacher T11-S7 2 Class Teacher T11-S8 2 Class Teacher T11-S9 2 Class Teacher T11-S10 2 Class Teacher T11-S11 2 Class Teacher T11-S12 2 Class Teacher T12-S1 3 Class Teacher T12-S2 3 Class Teacher T12-S3 3 Class Teacher T12-S4 3 Class Teacher T12-S5 4 Class Teacher T12-S6 4 Class Teacher T12-S7 4 Class Teacher T13-S8 4 Class Teacher T13-S9 4 Class Teacher T13-S10 4 Class Teacher T13-S11 4 Class Teacher T13-S12 4 Class Teacher T14-S1 3 Class Teacher T14-S2 3 Class Teacher T14-S3 3 Class Teacher T14-S4 3 Class Teacher T14-S11 3 Class Teacher T14-S12 3 Class Teacher T15-S5 3 Class Teacher T15-S6 3 Class Teacher T15-S7 3 Class Teacher T15-S8 3 Class Teacher T15-S9 3 Class Teacher T15-S10 3 Class Teacher T16-S1 3 Class Teacher T16-S2 3 Class Teacher T16-S3 3 Class Teacher T16-S4 3 Class Teacher T16-S5 3 Class Teacher T16-S6 3 Class Teacher T17-S7 3 Class Teacher T17-S8 3 Class Teacher T17-S9 2 Class Teacher T17-S10 2 Class Teacher T17-S11 2 Class Teacher T17-S12 2 Class Teacher T18-S1 3 Class Teacher T18-S2 3 Class Teacher T18-S3 3 Class Teacher T18-S4 3 Class Teacher T18-S5 2 Class Teacher T18-S6 2 Class Teacher T18-S7 2 Class Teacher T19-S8 2 Class Teacher T20-S9 2 Class Teacher T20-S10 2 Class Teacher T20-S11 2 Class Teacher T20-S12 2 Class Teacher T21-S9 1 Class Teacher T21-S10 1 Class Teacher T21-S11 1 Class Teacher T21-S12 1 Class Teacher T22-S1 1 Class Teacher T22-S2 1 Class Teacher T22-S3 1 Class Teacher T22-S4 1 Class Teacher T22-S9 1 Class Teacher T22-S10 1 Class Teacher T22-S11 1 Class Teacher T22-S12 1 Class Teacher T23-S1 2 Class Teacher T23-S2 2 Class Teacher T23-S3 2 Class Teacher T23-S4 2 Class Teacher T23-S5 2 Class Teacher T23-S6 2 Class Teacher T23-S7 2 Class Teacher T23-S8 2 Class Teacher T23-S9 2 Class Teacher T23-S10 2 Class Teacher T23-S11 2 Class Teacher T23-S12 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 4 4 Compact timetable for teacher 2 false 9 Sum 5 5 Compact timetable for teacher 3 false 9 Sum 2 2 Compact timetable for teacher 4 false 9 Sum 1 1 Compact timetable for teacher 5 false 9 Sum 1 1 Compact timetable for teacher 6 false 9 Sum 4 4 Compact timetable for teacher 7 false 9 Sum 2 2 Compact timetable for teacher 8 false 9 Sum 4 4 Compact timetable for teacher 9 false 9 Sum 2 2 Compact timetable for teacher 10 false 9 Sum 2 2 Compact timetable for teacher 11 false 9 Sum 3 3 Compact timetable for teacher 12 false 9 Sum 5 5 Compact timetable for teacher 13 false 9 Sum 4 4 Compact timetable for teacher 14 false 9 Sum 4 4 Compact timetable for teacher 15 false 9 Sum 4 4 Compact timetable for teacher 16 false 9 Sum 4 4 Compact timetable for teacher 17 false 9 Sum 3 3 Compact timetable for teacher 18 false 9 Sum 4 4 Compact timetable for teacher 19 false 9 Sum 1 1 Compact timetable for teacher 20 false 9 Sum 2 2 Compact timetable for teacher 21 false 9 Sum 1 1 Compact timetable for teacher 22 false 9 Sum 2 2 Compact timetable for teacher 23 false 9 Sum 5 5 Haroldo Gambini Santos December 2011 Obtained from a compact IP formulation, solved with CBC 1 2 1 1 1 2 2 2 2 2 2 1 2 1 1 2 2 2 1 1 2 2 2 2 2 2 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 1 1 1 1 2 2 1 1 2 1 1 1 1 2 1 2 2 1 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 1 2 1 2 1 1 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 2 1 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 2 1 1 2 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1