this repo has no description
dekker.one
1n_tasks = 62;
2n_res = 4;
3d = [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];
4rr = array2d(
5 1..4,
6 1..62,
7 [
8 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,
9 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,
10 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,
11 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
12 ]
13);
14rc = [35, 47, 45, 39];
15suc = [
16 {2, 3, 4},
17 {16},
18 {5, 8, 34},
19 {6, 7, 57},
20 {39},
21 {10, 23, 27},
22 {11, 37},
23 {9, 14, 15},
24 {11, 37},
25 {17, 38},
26 {12, 22, 25},
27 {13, 21, 41},
28 {29, 30},
29 {32, 51},
30 {24, 31, 42},
31 {19, 20, 45},
32 {18, 37, 40},
33 {42},
34 {31, 55},
35 {22, 41, 48},
36 {26, 32},
37 {24, 28, 32},
38 {35, 61},
39 {27, 36},
40 {56},
41 {42, 44},
42 {44},
43 {31, 36, 46},
44 {39, 46, 50},
45 {33, 39, 48},
46 {47},
47 {47},
48 {50},
49 {40, 53},
50 {58},
51 {56},
52 {55},
53 {46},
54 {40, 52, 53},
55 {60},
56 {54},
57 {43, 45, 47},
58 {49},
59 {51, 61},
60 {48, 52},
61 {49, 53, 61},
62 {50, 59},
63 {59},
64 {51},
65 {54},
66 {52, 56},
67 {54},
68 {55},
69 {58},
70 {59},
71 {58},
72 {60},
73 {60},
74 {62},
75 {62},
76 {62},
77 {}
78];
79t_max = 86;
80deadline = array2d(
81 1..62,
82 1..3,
83 [
84 2, 5, 4,
85 3, 2, 2,
86 9, 4, 0,
87 0, 5, 2,
88 14, 0, 2,
89 11, 1, 5,
90 14, 0, 0,
91 11, 5, 2,
92 12, 2, 0,
93 6, 2, 2,
94 18, 1, 1,
95 23, 1, 0,
96 33, 3, 3,
97 11, 5, 5,
98 10, 1, 4,
99 17, 5, 2,
100 22, 4, 1,
101 19, 5, 5,
102 24, 3, 0,
103 20, 4, 2,
104 23, 3, 4,
105 35, 2, 2,
106 10, 4, 3,
107 32, 2, 0,
108 17, 4, 5,
109 36, 2, 1,
110 39, 5, 4,
111 35, 5, 1,
112 31, 5, 3,
113 30, 1, 3,
114 46, 0, 4,
115 40, 5, 4,
116 41, 3, 3,
117 9, 0, 5,
118 18, 1, 3,
119 39, 2, 2,
120 23, 3, 3,
121 16, 0, 1,
122 31, 3, 5,
123 46, 4, 4,
124 28, 5, 4,
125 36, 0, 0,
126 51, 1, 0,
127 48, 2, 0,
128 42, 3, 1,
129 36, 4, 2,
130 45, 2, 0,
131 52, 2, 1,
132 45, 5, 3,
133 48, 3, 4,
134 52, 0, 0,
135 63, 0, 4,
136 45, 3, 1,
137 71, 4, 3,
138 43, 3, 2,
139 61, 1, 3,
140 1, 1, 5,
141 76, 1, 5,
142 59, 5, 4,
143 75, 1, 0,
144 54, 0, 4,
145 86, 3, 1
146 ]
147);
148%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];