94 lines
1.6 KiB
MiniZinc
94 lines
1.6 KiB
MiniZinc
n_tasks = 32;
|
|
n_res = 4;
|
|
d = [0, 6, 6, 9, 1, 5, 10, 2, 6, 7, 1, 6, 1, 10, 8, 5, 7, 9, 5, 10, 3, 5, 2, 4, 8, 2, 2, 6, 2, 10, 9, 0];
|
|
rr = array2d(
|
|
1..4,
|
|
1..32,
|
|
[
|
|
0, 10, 9, 1, 1, 0, 0, 3, 2, 3, 0, 4, 8, 0, 6, 0, 3, 7, 2, 2, 0, 1, 7, 0, 0, 1, 6, 10, 0, 6, 0, 0,
|
|
0, 10, 3, 0, 0, 9, 9, 5, 0, 5, 4, 4, 3, 3, 10, 9, 0, 6, 3, 3, 8, 1, 6, 8, 4, 0, 0, 8, 7, 8, 4, 0,
|
|
0, 4, 0, 2, 8, 5, 6, 2, 4, 0, 8, 4, 5, 9, 0, 10, 3, 7, 2, 4, 0, 5, 7, 5, 6, 7, 7, 10, 4, 1, 0, 0,
|
|
0, 0, 0, 2, 6, 4, 0, 0, 10, 2, 0, 8, 5, 9, 4, 0, 0, 0, 8, 7, 3, 3, 8, 8, 4, 3, 4, 1, 3, 6, 2, 0
|
|
]
|
|
);
|
|
rc = [19, 29, 24, 27];
|
|
suc = [
|
|
{2, 3, 4},
|
|
{23, 29},
|
|
{10, 13, 26},
|
|
{5, 6, 7},
|
|
{18, 20, 24},
|
|
{11, 14, 23},
|
|
{8, 9, 17},
|
|
{12, 20},
|
|
{16},
|
|
{12, 15, 17},
|
|
{15},
|
|
{21},
|
|
{22},
|
|
{19, 27},
|
|
{19, 20},
|
|
{21, 25},
|
|
{21, 27},
|
|
{19},
|
|
{22, 28, 31},
|
|
{28, 30},
|
|
{22, 23, 28},
|
|
{30},
|
|
{31},
|
|
{26},
|
|
{26, 27, 30},
|
|
{31},
|
|
{29},
|
|
{29},
|
|
{32},
|
|
{32},
|
|
{32},
|
|
{}
|
|
];
|
|
t_max = 59;
|
|
deadline = array2d(
|
|
1..32,
|
|
1..3,
|
|
[
|
|
1, 5, 4,
|
|
30, 2, 2,
|
|
7, 4, 0,
|
|
0, 5, 2,
|
|
17, 0, 2,
|
|
16, 1, 5,
|
|
18, 0, 0,
|
|
24, 5, 2,
|
|
21, 2, 0,
|
|
8, 2, 2,
|
|
16, 1, 1,
|
|
30, 1, 0,
|
|
15, 3, 3,
|
|
16, 5, 5,
|
|
18, 1, 4,
|
|
32, 5, 2,
|
|
30, 4, 1,
|
|
21, 5, 5,
|
|
32, 3, 0,
|
|
30, 4, 2,
|
|
32, 3, 4,
|
|
41, 2, 2,
|
|
41, 4, 3,
|
|
28, 2, 0,
|
|
30, 4, 5,
|
|
44, 2, 1,
|
|
49, 5, 4,
|
|
43, 5, 1,
|
|
51, 5, 3,
|
|
44, 1, 3,
|
|
50, 0, 4,
|
|
58, 5, 4
|
|
]
|
|
);
|
|
%s = [0, 28, 0, 0, 9, 9, 9, 19, 19, 6, 14, 25, 6, 14, 17, 25, 21, 15, 27, 28, 31, 34, 36, 24, 30, 38, 44, 38, 46, 39, 40, 49];
|
|
emin=0;
|
|
emax=104;
|
|
tmin=0;
|
|
tmax=143;
|
|
nsols=4;
|