130 lines
9.0 KiB
MiniZinc
130 lines
9.0 KiB
MiniZinc
num_bp = 1;
|
|
nres = 100;
|
|
ncoup = 30;
|
|
nhosp = 10;
|
|
max_rpref_len = 20;
|
|
max_hpref_len = 57;
|
|
rpref = [|6,2,6,2,6,10,10,2,10,9,6,2,9,10,9,9,8,8,8,8,0
|
|
|6,6,7,7,1,6,7,1,1,6,2,2,7,2,1,2,6,7,1,2,0
|
|
|7,6,7,6,3,7,6,3,3,4,4,4,8,8,8,0,0,0,0,0,0
|
|
|10,10,4,4,10,9,9,4,9,10,4,9,10,4,9,0,0,0,0,0,0
|
|
|8,3,8,3,8,3,6,6,6,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|7,7,5,5,6,6,7,5,6,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,4,6,4,6,6,5,5,5,9,9,9,0,0,0,0,0,0,0,0,0
|
|
|7,6,7,2,6,2,7,6,2,7,6,2,0,0,0,0,0,0,0,0,0
|
|
|6,6,7,7,6,9,7,9,9,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,8,9,8,10,9,10,8,10,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,4,8,4,8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|5,6,5,3,6,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,10,4,10,4,7,10,7,7,4,6,10,6,6,7,6,4,10,7,6,0
|
|
|3,3,5,5,6,3,6,5,6,8,3,8,5,6,8,8,9,9,9,9,0
|
|
|3,10,3,10,9,9,3,5,10,5,9,5,0,0,0,0,0,0,0,0,0
|
|
|9,9,6,6,9,6,1,9,1,6,1,1,0,0,0,0,0,0,0,0,0
|
|
|9,6,9,6,8,8,9,6,8,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|7,7,4,4,7,4,9,9,9,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|1,1,6,6,1,9,6,9,9,1,6,9,1,6,9,0,0,0,0,0,0
|
|
|5,1,5,1,10,5,10,1,10,9,9,9,4,4,4,0,0,0,0,0,0
|
|
|7,9,7,9,6,7,9,6,6,3,7,0,0,0,0,0,0,0,0,0,0
|
|
|8,8,9,9,8,10,10,9,10,8,5,0,0,0,0,0,0,0,0,0,0
|
|
|7,7,10,10,7,9,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,1,9,1,8,9,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|10,10,2,2,10,6,6,2,6,1,1,1,0,0,0,0,0,0,0,0,0
|
|
|9,3,9,3,10,9,3,10,10,9,3,10,0,0,0,0,0,0,0,0,0
|
|
|2,2,9,9,10,10,8,2,8,9,10,8,1,1,1,0,0,0,0,0,0
|
|
|9,3,9,3,9,3,9,7,3,7,7,7,9,3,7,0,0,0,0,0,0
|
|
|6,6,8,6,8,8,6,3,3,8,3,3,9,6,0,0,0,0,0,0,0
|
|
|10,5,10,2,5,2,7,10,5,7,2,7,10,4,0,0,0,0,0,0,0
|
|
|4,6,4,6,4,3,6,3,3,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,9,7,7,10,9,10,7,10,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,9,10,10,8,9,10,8,8,7,7,0,0,0,0,0,0,0,0,0,0
|
|
|8,10,8,10,8,5,5,10,5,8,10,0,0,0,0,0,0,0,0,0,0
|
|
|6,7,6,7,6,4,7,4,4,6,7,4,0,0,0,0,0,0,0,0,0
|
|
|5,5,2,2,8,5,8,2,8,10,10,10,0,0,0,0,0,0,0,0,0
|
|
|10,10,4,4,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,8,4,8,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,9,6,6,9,6,9,6,9,6,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,9,8,9,7,7,3,3,5,5,0,0,0,0,0,0,0,0,0,0,0
|
|
|1,4,1,4,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,4,7,7,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|6,8,6,8,9,9,6,8,5,9,5,5,6,7,8,9,7,7,5,7,0
|
|
|7,7,8,8,7,8,6,6,7,6,8,6,9,7,9,9,8,6,9,9,0
|
|
|6,6,7,7,4,6,4,7,4,8,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,3,8,3,8,7,3,7,7,8,0,0,0,0,0,0,0,0,0,0,0
|
|
|2,2,7,7,2,7,2,7,2,7,0,0,0,0,0,0,0,0,0,0,0
|
|
|2,10,2,10,9,9,8,8,5,5,0,0,0,0,0,0,0,0,0,0,0
|
|
|10,10,8,8,10,4,4,8,4,9,10,9,8,9,4,9,0,0,0,0,0
|
|
|5,8,5,8,9,5,8,9,9,5,2,8,2,9,2,2,0,0,0,0,0
|
|
|6,6,10,10,6,4,4,10,4,6,8,8,10,4,8,8,9,9,9,9,0
|
|
|6,5,6,5,9,6,5,9,9,8,6,5,8,8,9,8,6,5,9,8,0
|
|
|5,5,1,1,9,5,9,1,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|5,6,5,6,5,9,6,9,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|5,5,2,2,5,9,2,9,9,5,2,0,0,0,0,0,0,0,0,0,0
|
|
|6,9,6,9,2,6,2,9,2,8,8,0,0,0,0,0,0,0,0,0,0
|
|
|9,2,9,2,9,5,2,5,5,9,7,2,7,5,7,7,8,8,8,8,0
|
|
|6,6,10,10,8,6,8,10,8,9,6,9,10,9,8,9,6,10,8,9,0
|
|
|9,9,8,8,9,10,8,10,10,9,1,8,1,1,10,1,0,0,0,0,0
|
|
|7,9,7,9,8,7,8,9,8,2,7,2,9,8,2,2,0,0,0,0,0
|
|
|2,7,8,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,9,7,3,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,5,6,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,8,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|6,10,9,5,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|3,6,7,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|3,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|3,9,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,10,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|7,2,5,3,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,4,7,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|7,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|9,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|6,8,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|10,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|10,7,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|3,9,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,6,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|10,5,9,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|5,7,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,3,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|3,6,9,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,8,6,7,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|2,4,10,7,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|5,9,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,7,9,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,5,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,7,4,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|10,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,5,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|7,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|6,10,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,6,2,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|7,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|3,2,10,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|4,8,3,5,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|6,5,8,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|8,7,6,5,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|6,5,3,10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0|];
|
|
rpref_len = [20,20,15,15,9,9,12,12,9,9,6,6,20,20,12,12,9,9,15,15,11,11,7,7,12,12,15,15,14,14,9,9,11,11,12,12,5,5,10,10,5,5,20,20,10,10,10,10,16,16,20,20,8,8,11,11,20,20,16,16,4,5,4,3,5,4,2,3,3,5,4,3,2,3,2,3,3,3,4,3,3,4,5,5,3,4,3,2,4,3,3,2,3,4,2,4,5,4,5,4];
|
|
hpref = [|24,83,41,59,72,16,20,53,96,27,88,19,2,25,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|93,37,90,60,96,30,27,55,91,36,8,57,25,50,71,1,61,48,84,2,56,70,47,94,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|67,86,26,5,62,77,100,40,90,66,81,3,46,82,97,15,68,78,21,14,12,96,29,28,70,31,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|11,37,20,30,76,3,38,64,51,18,74,42,4,83,72,13,97,84,89,41,91,71,7,35,45,99,94,49,85,31,87,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|80,64,67,6,55,20,66,7,22,52,50,100,53,92,48,97,65,15,34,43,40,70,99,12,57,36,87,79,54,85,91,98,14,30,63,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|74,51,54,3,45,43,65,29,89,8,17,56,9,93,12,83,99,25,1,100,6,19,78,21,13,58,66,52,44,14,62,35,16,39,82,68,7,63,98,94,31,5,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|18,41,21,23,40,3,77,32,33,45,84,60,71,46,92,43,9,28,47,99,80,57,2,65,42,81,72,30,6,35,89,76,83,86,79,44,62,61,82,70,95,8,13,66,0,0,0,0,0,0,0,0,0,0,0,0,0
|
|
|1,45,75,34,78,48,43,46,98,88,22,56,40,97,59,36,73,57,3,24,83,52,29,84,17,86,81,33,58,62,94,50,38,60,11,10,51,89,64,70,44,74,61,5,99,49,69,14,63,27,0,0,0,0,0,0,0
|
|
|43,79,54,86,32,23,27,98,26,16,56,40,33,87,52,59,19,17,48,53,82,49,61,71,7,21,69,20,24,51,22,9,97,55,57,14,4,68,80,39,1,50,58,10,29,62,28,18,63,95,65,60,73,77,15,44,85
|
|
|26,84,32,20,69,34,75,23,30,36,1,33,10,4,93,15,37,100,48,96,22,58,65,90,49,27,76,51,13,59,25,79,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0|];
|
|
hpref_len = [14,24,26,31,35,43,44,50,57,32];
|
|
hrank = [|0,13,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,12,7,0,0,0,1,14,0,10,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,8,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,11,0,0,0,0,0,0,0,9,0,0,0,0
|
|
|16,20,0,0,0,0,0,11,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,13,0,7,0,0,6,0,0,0,0,0,10,2,0,0,0,0,0,0,0,0,0,23,18,0,14,0,0,0,0,8,21,12,0,0,4,17,0,0,0,0,0,0,0,0,22,15,0,0,0,0,0,0,0,0,0,0,0,0,19,0,0,0,0,0,3,9,0,1,24,0,5,0,0,0,0
|
|
|0,0,12,0,4,0,0,0,0,0,0,21,0,20,16,0,0,0,0,0,19,0,0,0,0,3,0,24,23,0,26,0,0,0,0,0,0,0,0,8,0,0,0,0,0,13,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,10,1,17,0,25,0,0,0,0,0,0,6,18,0,0,11,14,0,0,0,2,0,0,0,9,0,0,0,0,0,22,15,0,0,7
|
|
|0,0,6,13,0,0,23,0,0,0,1,0,16,0,0,0,0,10,0,3,0,0,0,0,0,0,0,0,0,4,30,0,0,0,24,0,2,7,0,0,20,12,0,0,25,0,0,0,28,0,9,0,0,0,0,0,0,0,0,0,0,0,0,8,0,0,0,0,0,0,22,15,0,11,0,5,0,0,0,0,0,0,14,18,29,0,31,0,19,0,21,0,0,27,0,0,17,0,26,0
|
|
|0,0,0,0,0,4,8,0,0,0,0,24,0,33,18,0,0,0,0,6,0,9,0,0,0,0,0,0,0,34,0,0,0,19,0,26,0,0,0,21,0,0,20,0,0,0,0,15,0,11,0,10,13,29,5,0,25,0,0,0,0,0,35,2,17,7,3,0,0,22,0,0,0,0,0,0,0,0,28,1,0,0,0,0,30,0,27,0,0,0,31,14,0,0,0,0,16,32,23,12
|
|
|19,43,4,0,42,21,37,10,13,0,0,15,25,30,0,33,11,0,22,0,24,0,0,0,18,0,0,0,8,0,41,0,0,0,32,0,0,0,34,0,0,0,6,29,5,0,0,0,0,0,2,28,0,3,0,12,0,26,0,0,0,31,38,0,7,27,0,36,0,0,0,0,0,1,0,0,0,23,0,0,0,35,16,0,0,0,0,0,9,0,0,0,14,40,0,0,0,39,17,20
|
|
|0,23,6,0,0,29,0,42,17,0,0,0,43,0,0,0,0,1,0,0,3,0,4,0,0,0,0,18,0,28,0,8,9,0,30,0,0,0,0,5,2,25,16,36,10,14,19,0,0,0,0,0,0,0,0,0,22,0,0,12,38,37,0,0,24,44,0,0,0,40,13,27,0,0,0,32,7,0,35,21,26,39,33,11,0,34,0,0,31,0,0,15,0,0,41,0,0,0,20,0
|
|
|1,0,19,0,44,0,0,0,0,36,35,0,0,48,0,0,25,0,0,0,0,11,0,20,0,0,50,0,23,0,0,0,28,4,0,16,0,33,0,13,0,0,7,41,2,8,0,6,46,32,37,22,0,0,0,12,18,29,15,34,43,30,49,39,0,0,0,0,47,40,0,0,17,42,3,0,0,5,0,0,27,0,21,24,0,26,0,10,38,0,0,0,0,31,0,0,14,9,45,0
|
|
|41,0,0,37,0,0,25,0,32,44,0,0,0,36,55,10,18,48,17,28,26,31,6,29,0,9,7,47,45,0,0,5,13,0,0,0,0,0,40,12,0,0,1,56,0,0,0,19,22,42,30,15,20,3,34,11,35,43,16,52,23,46,49,0,51,0,0,38,27,0,24,0,53,0,0,0,54,0,2,39,0,21,0,0,57,4,14,0,0,0,0,0,0,0,50,0,33,8,0,0
|
|
|11,0,0,14,0,0,0,0,0,13,0,0,29,0,16,0,0,0,0,4,0,21,8,0,31,1,26,0,0,9,0,3,12,6,0,10,17,0,0,0,0,0,0,0,0,0,0,19,25,0,28,0,0,0,0,0,0,22,30,0,0,0,0,0,23,0,0,0,5,0,0,0,0,0,7,27,0,0,32,0,0,0,0,2,0,0,0,0,0,24,0,0,15,0,0,20,0,0,0,18|];
|
|
hosp_cap = [11,9,12,12,9,9,9,12,10,7];
|