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 ForbiddenTimesOfT1 true 1 Sum ForbiddenTimesOfT3 true 1 Sum ForbiddenTimesOfT4 true 1 Sum ForbiddenTimesOfT5 true 1 Sum ForbiddenTimesOfT6 true 1 Sum ForbiddenTimesOfT7 true 1 Sum ForbiddenTimesOfT8 true 1 Sum ForbiddenTimesOfT10 true 1 Sum ForbiddenTimesOfT11 true 1 Sum ForbiddenTimesOfT13 true 1 Sum ForbiddenTimesOfT16 true 1 Sum ForbiddenTimesOfT18 true 1 Sum ForbiddenTimesOfT19 true 1 Sum ForbiddenTimesOfT20 true 1 Sum ForbiddenTimesOfT21 true 1 Sum ForbiddenTimesOfT22 true 1 Sum No IDLE times for teachers false 3 Sum 0 0 Not more than 1 days with lessons false 9 Sum 0 1 Not more than 2 days with lessons false 9 Sum 0 2 Not more than 3 days with lessons false 9 Sum 0 3 Not more than 4 days with lessons false 9 Sum 0 4 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 Valouxis C., Gogos C., Daskalaki S., Alefragis P., Goulas G., Housos E. Sat Jun 23 18:52:11 EEST 2012 Results for 6 instances of the hidden datasets 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 2 2 1 1 Simon Kristiansen, Matias Sorensen, Thomas R. Stidsen 04092013 1 1 2 2 2 2 2 2 2 2 1 1 2 2 1 2 1 2 1 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 2 1 1 1 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 2 2 2 1 2 1 2 2 1 2 1 2 1 2 1 2 2 2 2 2 1 2 1 1 1 2 2 2 2 2 2 2 1 1 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 1 2 1 1 2 2 2 1 2 1 1 1 1 1 1 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 1 1 2 2 Matias Sorensen 2013-12-18 2 2 2 2 1 1 2 2 2 2 1 1 2 2 1 2 1 2 1 2 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 2 2 2 1 2 1 2 2 1 2 1 2 1 2 1 2 2 2 2 2 1 2 1 2 2 2 2 2 2 2 2 2 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 2 2 2 2 1 1 2 2 1 1 2 2 2 1 1 2 1 2 2 2 2 2 2 1 2 1 1 1 1 1 1 2 2 1 1 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 1 1 2 1 1 2