A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1n_tasks = 32;
2n_res = 4;
3d = [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];
4rr = array2d(
5 1..4,
6 1..32,
7 [
8 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,
9 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,
10 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,
11 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
12 ]
13);
14rc = [19, 29, 24, 27];
15suc = [
16 {2, 3, 4},
17 {23, 29},
18 {10, 13, 26},
19 {5, 6, 7},
20 {18, 20, 24},
21 {11, 14, 23},
22 {8, 9, 17},
23 {12, 20},
24 {16},
25 {12, 15, 17},
26 {15},
27 {21},
28 {22},
29 {19, 27},
30 {19, 20},
31 {21, 25},
32 {21, 27},
33 {19},
34 {22, 28, 31},
35 {28, 30},
36 {22, 23, 28},
37 {30},
38 {31},
39 {26},
40 {26, 27, 30},
41 {31},
42 {29},
43 {29},
44 {32},
45 {32},
46 {32},
47 {}
48];
49t_max = 59;
50deadline = array2d(
51 1..32,
52 1..3,
53 [
54 1, 5, 4,
55 30, 2, 2,
56 7, 4, 0,
57 0, 5, 2,
58 17, 0, 2,
59 16, 1, 5,
60 18, 0, 0,
61 24, 5, 2,
62 21, 2, 0,
63 8, 2, 2,
64 16, 1, 1,
65 30, 1, 0,
66 15, 3, 3,
67 16, 5, 5,
68 18, 1, 4,
69 32, 5, 2,
70 30, 4, 1,
71 21, 5, 5,
72 32, 3, 0,
73 30, 4, 2,
74 32, 3, 4,
75 41, 2, 2,
76 41, 4, 3,
77 28, 2, 0,
78 30, 4, 5,
79 44, 2, 1,
80 49, 5, 4,
81 43, 5, 1,
82 51, 5, 3,
83 44, 1, 3,
84 50, 0, 4,
85 58, 5, 4
86 ]
87);
88%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];