A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1PSize = 6;
2AllDist = [|
3 0, 14, 23, 28, 43, 52, 61, 71, 81, 17, 25, 27, 40, 42
4|14, 0, 9, 18, 33, 42, 52, 62, 71, 11, 11, 13, 26, 29
5|23, 9, 0, 11, 25, 33, 44, 54, 62, 18, 11, 7, 19, 20
6|28, 18, 11, 0, 15, 24, 34, 44, 53, 28, 21, 16, 23, 15
7|43, 33, 25, 15, 0, 9, 19, 29, 38, 43, 34, 28, 28, 12
8|52, 42, 33, 24, 9, 0, 11, 20, 29, 51, 42, 36, 33, 17
9|61, 52, 44, 34, 19, 11, 0, 10, 20, 62, 52, 46, 43, 27
10|71, 62, 54, 44, 29, 20, 10, 0, 10, 72, 62, 56, 51, 36
11|81, 71, 62, 53, 38, 29, 20, 10, 0, 80, 70, 64, 58, 44
12|17, 11, 18, 28, 43, 51, 62, 72, 80, 0, 12, 17, 30, 37
13|25, 11, 11, 21, 34, 42, 52, 62, 70, 12, 0, 6, 17, 26
14|27, 13, 7, 16, 28, 36, 46, 56, 64, 17, 6, 0, 13, 20
15|40, 26, 19, 23, 28, 33, 43, 51, 58, 30, 17, 13, 0, 16
16|42, 29, 20, 15, 12, 17, 27, 36, 44, 37, 26, 20, 16, 0
17|] ;