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