
A smallish problem from a sixth-form college, all
about timetabling mock public exams over a six-day
period (just one slot on a Saturday). Each `separate'
line shows which exams a certain student is taking.


clash-type 2  # don't gripe, but don't allow duplicate constraints

events 30
slots 11
days 6
near-clash 1
p-clash    10 
p-near     2

separate  27 and 28 and 29 and 0 and 1 and 2
separate  15 and 16
separate  8 and 26
separate  17 and 18 and 21 and 22
separate  15 and 16 and 27 and 28 and 29
separate  8 and 0 and 1 and 2
separate  24 and 25
separate  0 and 1 and 2 and 9  and 19 and 20
separate  3 and 4 and 5 and 11 and 12 and 6 and 9
separate  27 and 28 and 29 and 6 and 7 and 13 and 14
separate  27 and 28 and 29 and 8
separate  0 and 1 and 2 and 15 and 16
separate  24 and 25
separate  24 and 25 and 6 and 7
separate  13 and 14
separate  21 and 22 and 8
separate  27 and 28 and 29 and 0 and 1 and 2
separate  27 and 28 and 29 and 6 and 7 and 15 and 16
separate  15 and 16 and 21 and 22
separate  24 and 25 and 6 and 7
separate  0 and 1 and 2
separate  13 and 14 and 27 and 28 and 29 and 6 and 7
separate  27 and 28 and 29
separate  15 and 16 and 11 and 12 and 0 and 1 and 2
separate  21 and 22 and 6 and 7
separate  0 and 1 and 2 and 17 and 18 and 21 and 22
separate  0 and 1 and 2
separate  6 and 7
separate  11 and 12 and 15 and 16 and 0 and 1 and 2
separate  11 and 12 and 17 and 18 and 6 and 7
separate  6 and 7 and 11 and 12 and 17 and 18
separate  6 and 7 and 24 and 25
separate  0 and 1 and 2 and 24 and 25
separate  8 and 10 and 23
separate  0 and 1 and 2 and 8 and 26
separate  27 and 28 and 29 and 21 and 22 and 6 and 7
separate  15 and 16
separate  0 and 1 and 2 and 27 and 28 and 29
separate  0 and 1 and 2 and 15 and 16
separate  17 and 18 and 11 and 12
separate  27 and 28 and 29 and 6 and 7 and 13 and 14
separate  0 and 1 and 2 and 21 and 22 and 19 and 20
separate  13 and 14 and 21 and 22
separate  6 and 7 and 27 and 28 and 29 and 21 and 22
separate  24 and 25 and 6 and 7
separate  0 and 1 and 2
separate  24 and 25 and 6 and 7
separate  6 and 7 and 21 and 22
separate  3 and 4 and 5 and 24 and 25 and 6 and 7
separate  27 and 28 and 29 and 6 and 7
separate  13 and 14 and 24 and 25 and 0 and 1 and 2
separate  24 and 25 and 6 and 7
separate  8 and 0 and 1 and 2 and 11 and 12
separate  0 and 1 and 2 and 15 and 16
separate  15 and 16 and 8
separate  0 and 1 and 2 and 24 and 25

