149 lines
2.9 KiB
MiniZinc
149 lines
2.9 KiB
MiniZinc
n_tasks = 62;
|
|
n_res = 4;
|
|
d = [0, 7, 3, 1, 5, 2, 5, 6, 6, 7, 2, 4, 3, 2, 10, 10, 1, 8, 10, 8, 7, 2, 7, 5, 4, 7, 7, 5, 4, 5, 9, 1, 2, 1, 7, 6, 10, 6, 6, 6, 9, 5, 4, 2, 7, 2, 4, 8, 8, 5, 1, 4, 5, 5, 4, 10, 4, 6, 1, 3, 3, 0];
|
|
rr = array2d(
|
|
1..4,
|
|
1..62,
|
|
[
|
|
0, 0, 6, 3, 4, 3, 6, 5, 6, 0, 0, 10, 5, 3, 3, 1, 5, 5, 1, 0, 0, 2, 1, 8, 8, 9, 2, 6, 6, 0, 0, 0, 0, 7, 2, 0, 2, 3, 10, 6, 2, 3, 2, 2, 10, 0, 0, 0, 0, 0, 6, 0, 3, 0, 2, 9, 4, 1, 4, 6, 0, 0,
|
|
0, 5, 9, 8, 10, 1, 10, 0, 0, 4, 7, 1, 3, 10, 2, 4, 10, 0, 9, 7, 10, 3, 0, 7, 2, 7, 1, 5, 1, 10, 6, 10, 1, 0, 0, 3, 10, 10, 7, 5, 7, 7, 0, 5, 9, 6, 5, 10, 1, 2, 1, 7, 3, 0, 3, 9, 1, 1, 4, 8, 1, 0,
|
|
0, 9, 4, 8, 0, 0, 7, 0, 7, 0, 4, 7, 7, 8, 10, 1, 5, 0, 9, 7, 5, 6, 8, 6, 8, 10, 0, 0, 7, 8, 0, 0, 5, 0, 5, 3, 4, 6, 0, 0, 6, 8, 1, 2, 9, 9, 0, 8, 8, 7, 0, 0, 7, 6, 5, 5, 6, 0, 2, 6, 10, 0,
|
|
0, 5, 4, 1, 3, 8, 5, 9, 0, 0, 8, 3, 0, 0, 3, 10, 0, 6, 0, 3, 0, 0, 10, 1, 2, 8, 8, 0, 1, 2, 7, 8, 4, 7, 7, 7, 0, 3, 2, 0, 3, 1, 0, 4, 7, 3, 9, 0, 1, 1, 8, 0, 8, 9, 0, 7, 0, 7, 5, 0, 7, 0
|
|
]
|
|
);
|
|
rc = [35, 47, 45, 39];
|
|
suc = [
|
|
{2, 3, 4},
|
|
{16},
|
|
{5, 8, 34},
|
|
{6, 7, 57},
|
|
{39},
|
|
{10, 23, 27},
|
|
{11, 37},
|
|
{9, 14, 15},
|
|
{11, 37},
|
|
{17, 38},
|
|
{12, 22, 25},
|
|
{13, 21, 41},
|
|
{29, 30},
|
|
{32, 51},
|
|
{24, 31, 42},
|
|
{19, 20, 45},
|
|
{18, 37, 40},
|
|
{42},
|
|
{31, 55},
|
|
{22, 41, 48},
|
|
{26, 32},
|
|
{24, 28, 32},
|
|
{35, 61},
|
|
{27, 36},
|
|
{56},
|
|
{42, 44},
|
|
{44},
|
|
{31, 36, 46},
|
|
{39, 46, 50},
|
|
{33, 39, 48},
|
|
{47},
|
|
{47},
|
|
{50},
|
|
{40, 53},
|
|
{58},
|
|
{56},
|
|
{55},
|
|
{46},
|
|
{40, 52, 53},
|
|
{60},
|
|
{54},
|
|
{43, 45, 47},
|
|
{49},
|
|
{51, 61},
|
|
{48, 52},
|
|
{49, 53, 61},
|
|
{50, 59},
|
|
{59},
|
|
{51},
|
|
{54},
|
|
{52, 56},
|
|
{54},
|
|
{55},
|
|
{58},
|
|
{59},
|
|
{58},
|
|
{60},
|
|
{60},
|
|
{62},
|
|
{62},
|
|
{62},
|
|
{}
|
|
];
|
|
t_max = 86;
|
|
deadline = array2d(
|
|
1..62,
|
|
1..3,
|
|
[
|
|
2, 5, 4,
|
|
3, 2, 2,
|
|
9, 4, 0,
|
|
0, 5, 2,
|
|
14, 0, 2,
|
|
11, 1, 5,
|
|
14, 0, 0,
|
|
11, 5, 2,
|
|
12, 2, 0,
|
|
6, 2, 2,
|
|
18, 1, 1,
|
|
23, 1, 0,
|
|
33, 3, 3,
|
|
11, 5, 5,
|
|
10, 1, 4,
|
|
17, 5, 2,
|
|
22, 4, 1,
|
|
19, 5, 5,
|
|
24, 3, 0,
|
|
20, 4, 2,
|
|
23, 3, 4,
|
|
35, 2, 2,
|
|
10, 4, 3,
|
|
32, 2, 0,
|
|
17, 4, 5,
|
|
36, 2, 1,
|
|
39, 5, 4,
|
|
35, 5, 1,
|
|
31, 5, 3,
|
|
30, 1, 3,
|
|
46, 0, 4,
|
|
40, 5, 4,
|
|
41, 3, 3,
|
|
9, 0, 5,
|
|
18, 1, 3,
|
|
39, 2, 2,
|
|
23, 3, 3,
|
|
16, 0, 1,
|
|
31, 3, 5,
|
|
46, 4, 4,
|
|
28, 5, 4,
|
|
36, 0, 0,
|
|
51, 1, 0,
|
|
48, 2, 0,
|
|
42, 3, 1,
|
|
36, 4, 2,
|
|
45, 2, 0,
|
|
52, 2, 1,
|
|
45, 5, 3,
|
|
48, 3, 4,
|
|
52, 0, 0,
|
|
63, 0, 4,
|
|
45, 3, 1,
|
|
71, 4, 3,
|
|
43, 3, 2,
|
|
61, 1, 3,
|
|
1, 1, 5,
|
|
76, 1, 5,
|
|
59, 5, 4,
|
|
75, 1, 0,
|
|
54, 0, 4,
|
|
86, 3, 1
|
|
]
|
|
);
|
|
%s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 35, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
|