this repo has no description
dekker.one
1n_tasks = 92;
2n_res = 4;
3d = [0, 6, 5, 9, 1, 3, 8, 6, 8, 6, 7, 5, 9, 3, 7, 8, 2, 3, 1, 10, 4, 5, 9, 2, 7, 5, 2, 9, 1, 2, 8, 2, 5, 7, 5, 6, 9, 6, 1, 10, 4, 8, 1, 6, 5, 4, 6, 9, 2, 4, 10, 2, 2, 9, 1, 1, 8, 4, 7, 2, 8, 9, 5, 5, 8, 2, 6, 2, 9, 7, 3, 9, 4, 8, 9, 5, 1, 4, 7, 6, 8, 9, 8, 5, 9, 8, 7, 1, 5, 1, 1, 0];
4rr = array2d(
5 1..4,
6 1..92,
7 [
8 0, 1, 3, 9, 2, 6, 7, 6, 6, 10, 8, 6, 9, 4, 7, 7, 4, 8, 6, 3, 3, 1, 1, 2, 8, 2, 6, 10, 7, 8, 1, 10, 6, 9, 10, 7, 4, 4, 7, 7, 2, 6, 9, 4, 10, 10, 4, 7, 5, 7, 1, 9, 6, 3, 10, 3, 1, 1, 9, 5, 9, 8, 7, 8, 4, 7, 3, 4, 6, 6, 6, 7, 3, 7, 2, 1, 5, 7, 2, 1, 8, 3, 9, 7, 5, 2, 4, 6, 6, 7, 5, 0,
9 0, 5, 8, 9, 2, 10, 7, 2, 7, 3, 10, 9, 10, 1, 9, 3, 8, 8, 5, 8, 7, 9, 7, 7, 4, 4, 10, 5, 3, 3, 2, 4, 7, 7, 7, 9, 9, 10, 5, 7, 6, 5, 10, 1, 10, 4, 1, 5, 6, 4, 6, 5, 10, 1, 1, 7, 8, 9, 9, 6, 2, 1, 10, 5, 8, 2, 8, 1, 2, 1, 8, 3, 1, 4, 3, 7, 5, 8, 2, 2, 3, 4, 8, 2, 2, 1, 2, 4, 8, 2, 9, 0,
10 0, 2, 10, 2, 6, 4, 3, 4, 9, 1, 8, 8, 4, 2, 2, 9, 5, 5, 3, 3, 4, 9, 8, 7, 2, 2, 2, 4, 9, 2, 9, 8, 5, 5, 1, 4, 4, 4, 8, 7, 10, 10, 1, 6, 1, 10, 1, 6, 10, 8, 10, 3, 2, 7, 10, 7, 8, 10, 5, 2, 8, 4, 9, 2, 6, 10, 9, 10, 9, 4, 3, 6, 3, 7, 2, 10, 8, 2, 8, 9, 5, 6, 1, 10, 8, 2, 4, 9, 6, 10, 10, 0,
11 0, 4, 8, 2, 5, 2, 8, 7, 4, 10, 5, 3, 1, 2, 2, 6, 6, 5, 9, 5, 9, 9, 3, 4, 5, 5, 6, 3, 5, 6, 5, 10, 5, 5, 5, 6, 5, 3, 7, 9, 10, 4, 7, 6, 9, 7, 8, 3, 2, 6, 5, 9, 1, 9, 9, 1, 10, 6, 9, 6, 6, 10, 4, 3, 2, 2, 7, 2, 9, 8, 9, 8, 5, 6, 8, 6, 1, 1, 8, 5, 4, 10, 3, 1, 6, 1, 9, 9, 2, 1, 6, 0
12 ]
13);
14rc = [57, 69, 73, 65];
15suc = [
16 {2, 3, 4},
17 {5, 6, 7},
18 {13, 25, 80},
19 {34, 44, 60},
20 {8, 35},
21 {9, 15, 25},
22 {23, 44, 59},
23 {17, 52, 72},
24 {10, 11, 22},
25 {14, 20, 73},
26 {12, 18, 47},
27 {13, 27, 57},
28 {19, 34, 42},
29 {61},
30 {16, 24, 28},
31 {29, 32, 75},
32 {31, 54, 62},
33 {33, 44, 55},
34 {21, 38, 40},
35 {24, 26, 88},
36 {23, 41},
37 {47, 65, 72},
38 {50, 51, 69},
39 {36},
40 {36, 47, 66},
41 {27, 28, 30},
42 {64},
43 {29, 36, 79},
44 {62},
45 {63, 65},
46 {39, 45, 53},
47 {43, 53, 64},
48 {46, 57},
49 {37, 38, 39},
50 {37, 39, 48},
51 {62, 81, 86},
52 {50, 59, 67},
53 {54, 63, 70},
54 {51, 58, 59},
55 {72},
56 {50, 65, 67},
57 {52, 56, 82},
58 {60, 61},
59 {52, 56, 57},
60 {55, 61},
61 {49},
62 {58},
63 {49, 51, 68},
64 {53, 54},
65 {55, 56, 58},
66 {70, 74},
67 {66, 70},
68 {60, 84},
69 {64, 91},
70 {74},
71 {68, 74},
72 {66, 67, 80},
73 {82, 85},
74 {77},
75 {63, 79},
76 {68, 76, 78},
77 {87},
78 {90},
79 {71, 89},
80 {71},
81 {69, 73, 75},
82 {69, 85},
83 {81},
84 {71, 84},
85 {73, 86},
86 {81},
87 {77, 78},
88 {77},
89 {75, 78},
90 {83},
91 {79, 85},
92 {84, 89},
93 {87, 88},
94 {80, 82},
95 {83},
96 {90},
97 {83, 86},
98 {91},
99 {91},
100 {88},
101 {87},
102 {89},
103 {90},
104 {92},
105 {92},
106 {92},
107 {}
108];
109t_max = 109;
110deadline = array2d(
111 1..92,
112 1..3,
113 [
114 2, 5, 4,
115 4, 2, 2,
116 12, 4, 0,
117 0, 5, 2,
118 20, 0, 2,
119 19, 1, 5,
120 23, 0, 0,
121 17, 5, 2,
122 13, 2, 0,
123 21, 2, 2,
124 21, 1, 1,
125 32, 1, 0,
126 44, 3, 3,
127 26, 5, 5,
128 11, 1, 4,
129 29, 5, 2,
130 28, 4, 1,
131 35, 5, 5,
132 47, 3, 0,
133 27, 4, 2,
134 42, 3, 4,
135 29, 2, 2,
136 52, 4, 3,
137 40, 2, 0,
138 9, 4, 5,
139 44, 2, 1,
140 47, 5, 4,
141 48, 5, 1,
142 56, 5, 3,
143 46, 1, 3,
144 33, 0, 4,
145 39, 5, 4,
146 42, 3, 3,
147 46, 0, 5,
148 17, 1, 3,
149 56, 2, 2,
150 55, 3, 3,
151 53, 0, 1,
152 48, 3, 5,
153 54, 4, 4,
154 47, 5, 4,
155 39, 0, 0,
156 40, 1, 0,
157 38, 2, 0,
158 26, 3, 1,
159 37, 4, 2,
160 30, 2, 0,
161 19, 2, 1,
162 38, 5, 3,
163 57, 3, 4,
164 52, 0, 0,
165 59, 0, 4,
166 50, 3, 1,
167 69, 4, 3,
168 62, 3, 2,
169 68, 1, 3,
170 34, 1, 5,
171 74, 1, 5,
172 59, 5, 4,
173 47, 1, 0,
174 44, 0, 4,
175 71, 3, 1,
176 67, 5, 4,
177 69, 2, 2,
178 50, 4, 2,
179 51, 0, 3,
180 59, 2, 1,
181 75, 5, 0,
182 63, 1, 5,
183 76, 2, 1,
184 81, 5, 5,
185 55, 5, 4,
186 78, 5, 1,
187 75, 0, 1,
188 87, 1, 4,
189 47, 5, 2,
190 79, 1, 5,
191 81, 5, 5,
192 49, 3, 0,
193 54, 0, 5,
194 86, 4, 2,
195 73, 4, 2,
196 89, 1, 0,
197 79, 5, 3,
198 79, 2, 1,
199 85, 4, 0,
200 91, 0, 0,
201 90, 0, 1,
202 104, 2, 0,
203 83, 1, 4,
204 88, 5, 2,
205 109, 5, 1
206 ]
207);
208%s = [0, 0, 0, 0, 6, 6, 6, 7, 9, 17, 17, 24, 29, 23, 9, 16, 13, 24, 38, 23, 39, 17, 43, 33, 9, 33, 38, 38, 47, 38, 15, 24, 27, 38, 7, 47, 45, 45, 45, 39, 43, 38, 26, 27, 23, 32, 24, 12, 36, 54, 52, 46, 38, 51, 58, 58, 33, 58, 54, 40, 28, 53, 51, 60, 47, 48, 54, 59, 60, 62, 69, 49, 69, 62, 70, 36, 73, 70, 47, 54, 72, 62, 79, 74, 62, 71, 79, 74, 86, 80, 87, 91];