Home

Constraint satisfaction repository

In this group of instances, all constraints are hard and no objective function is given. In other words, it is required to construct a timetable with an infeasibility value of zero.

Bibliography

Error ordering bibliography: incorrect order specified
Instance name Contributor Teams Slots Classification Contributor Best UB Best LB Best UB History
ACC Nemhauser and Trick 9 18 2RR, C, NULL | BR1, CA1, CA2, CA3, GA1, SE2 | NONE Nemhauser, Trick (/, /) (0, 0) history
Big10 Zhang 11 18 2RR, C, ∅ | CA1, CA2, CA3, CA4 | NONE Zhang (/, /) (0, 0) history
GroupChanging_10_5 Briskorn 10 9 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_12_2 Briskorn 12 11 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_12_3 Briskorn 12 11 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_12_4 Briskorn 12 11 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_12_6 Briskorn 12 11 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_14_7 Briskorn 14 13 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_15_3 Briskorn 15 15 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_15_5 Briskorn 15 15 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_16_2 Briskorn 16 15 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_16_4 Briskorn 16 15 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_16_8 Briskorn 16 15 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_18_3 Briskorn 18 17 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_18_6 Briskorn 18 17 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_18_9 Briskorn 18 17 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_20_10 Briskorn 20 19 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_20_2 Briskorn 20 19 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_20_4 Briskorn 20 19 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_20_5 Briskorn 20 19 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_21_3 Briskorn 21 21 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_21_7 Briskorn 21 21 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_22_11 Briskorn 22 21 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_24_12 Briskorn 24 23 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_24_2 Briskorn 24 23 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_24_3 Briskorn 24 23 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_24_4 Briskorn 24 23 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_24_6 Briskorn 24 23 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_24_8 Briskorn 24 23 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_25_5 Briskorn 25 25 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_26_13 Briskorn 26 25 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_27_3 Briskorn 27 27 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_27_9 Briskorn 27 27 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_28_14 Briskorn 28 27 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_28_2 Briskorn 28 27 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_28_4 Briskorn 28 27 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_28_7 Briskorn 28 27 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_30_10 Briskorn 30 29 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_30_15 Briskorn 30 29 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_30_3 Briskorn 30 29 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_30_5 Briskorn 30 29 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_30_6 Briskorn 30 29 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_32_16 Briskorn 32 31 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_32_2 Briskorn 32 31 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_32_4 Briskorn 32 31 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_32_8 Briskorn 32 31 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_33_11 Briskorn 33 33 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_33_3 Briskorn 33 33 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_34_17 Briskorn 34 33 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_35_5 Briskorn 35 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_35_7 Briskorn 35 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_36_12 Briskorn 36 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_36_18 Briskorn 36 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_36_2 Briskorn 36 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_36_3 Briskorn 36 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_36_4 Briskorn 36 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_36_6 Briskorn 36 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_36_9 Briskorn 36 35 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_38_19 Briskorn 38 37 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_39_13 Briskorn 39 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_39_3 Briskorn 39 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_40_10 Briskorn 40 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_40_20 Briskorn 40 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_40_2 Briskorn 40 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_40_4 Briskorn 40 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_40_5 Briskorn 40 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_40_8 Briskorn 40 39 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_4_2 Briskorn 4 3 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_8_2 Briskorn 8 7 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_8_4 Briskorn 8 7 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
GroupChanging_9_3 Briskorn 9 9 1RR, C, ∅ | CA3 | NONE Briskorn (/, /) (0, 0) history
R14K7P208 14 26 2RR, C, ∅ | CA1, SE1 | NONE (/, /) (/, /) history
R16P116C23 16 57 2RR, R, ∅ | CA1, CA4 | NONE (/, /) (/, /) history
Instance_k2_8_14_7_3_0 Van Bulck, Goossens 8 28 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_8_21_10_5_0 Van Bulck, Goossens 8 35 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_8_28_14_7_0 Van Bulck, Goossens 8 42 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_8_35_17_8_0 Van Bulck, Goossens 8 49 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_8_42_21_10_0 Van Bulck, Goossens 8 56 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_8_49_24_12_0 Van Bulck, Goossens 8 63 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_8_56_28_14_0 Van Bulck, Goossens 8 70 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_11_5_2_0 Van Bulck, Goossens 12 33 2RR, R, NULL | CA1, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_22_11_5_0 Van Bulck, Goossens 12 44 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_33_16_8_0 Van Bulck, Goossens 12 55 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_44_22_11_0 Van Bulck, Goossens 12 66 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_55_27_13_0 Van Bulck, Goossens 12 77 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_66_33_16_0 Van Bulck, Goossens 12 88 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_77_38_19_0 Van Bulck, Goossens 12 99 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_12_88_44_22_0 Van Bulck, Goossens 12 110 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_105_52_26_0 Van Bulck, Goossens 16 135 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_120_60_30_0 Van Bulck, Goossens 16 150 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_15_7_3_0 Van Bulck, Goossens 16 45 2RR, R, NULL | CA1, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_30_15_7_0 Van Bulck, Goossens 16 60 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_45_22_11_0 Van Bulck, Goossens 16 75 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_60_30_15_0 Van Bulck, Goossens 16 90 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_75_37_18_0 Van Bulck, Goossens 16 105 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_16_90_45_22_0 Van Bulck, Goossens 16 120 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_114_57_28_0 Van Bulck, Goossens 20 152 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_133_66_33_0 Van Bulck, Goossens 20 171 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_152_76_38_0 Van Bulck, Goossens 20 190 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_19_9_4_0 Van Bulck, Goossens 20 57 2RR, R, NULL | CA1, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_38_19_9_0 Van Bulck, Goossens 20 76 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_57_28_14_0 Van Bulck, Goossens 20 95 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_76_38_19_0 Van Bulck, Goossens 20 114 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Instance_k2_20_95_47_23_0 Van Bulck, Goossens 20 133 2RR, R, NULL | CA1, CA3, FA2 | NONE (/, /) (/, /) history
Algorithm source code: