A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1PSize = 6;
2AllDist = [|
3 0, 20, 24, 33, 33, 43, 56, 63, 61, 71, 79, 86, 94, 102
4|20, 0, 18, 34, 43, 50, 66, 72, 68, 79, 86, 93, 100, 108
5|24, 18, 0, 16, 28, 34, 50, 55, 50, 62, 68, 75, 82, 90
6|33, 34, 16, 0, 16, 19, 34, 40, 34, 46, 52, 59, 66, 74
7|33, 43, 28, 16, 0, 10, 23, 30, 28, 38, 46, 53, 61, 69
8|43, 50, 34, 19, 10, 0, 16, 22, 18, 29, 36, 44, 51, 59
9|56, 66, 50, 34, 23, 16, 0, 8, 11, 16, 24, 32, 40, 48
10|63, 72, 55, 40, 30, 22, 8, 0, 8, 8, 16, 24, 32, 40
11|61, 68, 50, 34, 28, 18, 11, 8, 0, 11, 18, 25, 33, 41
12|71, 79, 62, 46, 38, 29, 16, 8, 11, 0, 8, 16, 24, 32
13|79, 86, 68, 52, 46, 36, 24, 16, 18, 8, 0, 8, 16, 24
14|86, 93, 75, 59, 53, 44, 32, 24, 25, 16, 8, 0, 8, 16
15|94, 100, 82, 66, 61, 51, 40, 32, 33, 24, 16, 8, 0, 8
16|102, 108, 90, 74, 69, 59, 48, 40, 41, 32, 24, 16, 8, 0
17|] ;