-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathgenerated.dzn
More file actions
46 lines (46 loc) · 10.1 KB
/
Copy pathgenerated.dzn
File metadata and controls
46 lines (46 loc) · 10.1 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
n = 40;
k = 4;
l = 3;
forceAtLeastOne = false;
maxdiam = 15.0;
costs = [| 0.0, 6.36, 21.46, 21.6, 3.81, 0.95, 7.56, 9.15, 7.89, 22.56, 3.38, 19.77, 8.28, 2.23, 19.86, 1.1, 20.58, 3.62, 5.14, 19.19, 3.56, 7.03, 8.94, 7.49, 22.64, 2.22, 7.29, 3.39, 19.6, 8.11, 20.66, 7.34, 1.68, 8.85, 7.43, 2.53, 19.75, 20.37, 3.04, 19.63
| 6.36, 0.0, 15.53, 15.65, 10.07, 7.3, 3.45, 3.18, 3.06, 16.63, 8.36, 13.68, 4.78, 7.72, 14.04, 7.26, 14.76, 9.48, 10.99, 13.54, 9.55, 3.04, 4.1, 4.71, 16.79, 8.05, 4.84, 9.75, 13.86, 3.5, 14.91, 2.44, 7.39, 4.28, 3.31, 8.6, 13.78, 14.71, 8.44, 13.92
| 21.46, 15.53, 0.0, 0.21, 24.69, 22.39, 16.94, 14.2, 16.14, 1.1, 23.88, 2.26, 17.73, 23.16, 1.76, 22.5, 1.19, 24.89, 26.43, 2.84, 24.92, 17.05, 16.0, 18.41, 1.36, 23.43, 18.72, 24.73, 2.18, 16.38, 1.49, 16.17, 22.77, 16.39, 16.93, 23.91, 1.76, 2.12, 23.92, 2.3
| 21.6, 15.65, 0.21, 0.0, 24.84, 22.53, 17.02, 14.29, 16.22, 0.98, 24.0, 2.28, 17.8, 23.29, 1.95, 22.63, 1.4, 25.02, 26.56, 3.05, 25.05, 17.14, 16.07, 18.48, 1.33, 23.56, 18.8, 24.88, 2.38, 16.45, 1.7, 16.26, 22.9, 16.46, 17.01, 24.05, 1.87, 2.33, 24.04, 2.5
| 3.81, 10.07, 24.69, 24.84, 0.0, 2.97, 11.34, 12.95, 11.7, 25.78, 4.73, 23.14, 11.96, 3.94, 23.03, 3.29, 23.74, 3.41, 4.03, 22.27, 3.09, 10.81, 12.73, 11.12, 25.81, 3.44, 10.89, 1.22, 22.74, 11.9, 23.78, 11.15, 3.73, 12.62, 11.21, 2.91, 23.02, 23.43, 4.12, 22.74
| 0.95, 7.3, 22.39, 22.53, 2.97, 0.0, 8.37, 10.05, 8.74, 23.49, 3.0, 20.72, 9.01, 1.82, 20.79, 0.55, 21.5, 2.84, 4.31, 20.11, 2.73, 7.85, 9.77, 8.19, 23.57, 1.6, 7.96, 2.44, 20.53, 8.94, 21.58, 8.21, 1.3, 9.65, 8.24, 1.73, 20.68, 21.29, 2.52, 20.55
| 7.56, 3.45, 16.94, 17.02, 11.34, 8.37, 0.0, 2.74, 0.81, 18.0, 8.17, 14.86, 1.33, 8.01, 15.67, 8.1, 16.37, 9.68, 11.01, 15.39, 9.86, 0.56, 1.43, 1.54, 18.27, 8.47, 1.82, 10.67, 15.58, 0.65, 16.6, 1.08, 7.9, 1.28, 0.15, 9.11, 15.19, 16.51, 8.49, 15.69
| 9.15, 3.18, 14.2, 14.29, 12.95, 10.05, 2.74, 0.0, 1.94, 15.27, 10.46, 12.13, 3.66, 10.08, 12.95, 9.9, 13.64, 11.83, 13.26, 12.7, 11.96, 2.89, 2.04, 4.23, 15.54, 10.5, 4.53, 12.47, 12.86, 2.19, 13.87, 2.09, 9.87, 2.42, 2.73, 11.1, 12.46, 13.8, 10.68, 12.98
| 7.89, 3.06, 16.14, 16.22, 11.7, 8.74, 0.81, 1.94, 0.0, 17.2, 8.77, 14.06, 1.95, 8.52, 14.87, 8.52, 15.56, 10.23, 11.6, 14.59, 10.39, 1.02, 1.13, 2.33, 17.47, 8.97, 2.62, 11.09, 14.77, 0.46, 15.79, 0.66, 8.37, 1.23, 0.79, 9.6, 14.39, 15.71, 9.05, 14.88
| 22.56, 16.63, 1.1, 0.98, 25.78, 23.49, 18.0, 15.27, 17.2, 0.0, 24.98, 3.21, 18.78, 24.26, 2.79, 23.6, 2.13, 25.99, 27.53, 3.78, 26.02, 18.12, 17.04, 19.46, 0.63, 24.53, 19.78, 25.83, 3.16, 17.43, 2.27, 17.24, 23.87, 17.43, 18.0, 25.02, 2.85, 2.84, 25.02, 3.23
| 3.38, 8.36, 23.88, 24.0, 4.73, 3.0, 8.17, 10.46, 8.77, 24.98, 0.0, 22.04, 8.37, 1.19, 22.37, 2.47, 23.09, 1.68, 2.84, 21.8, 1.95, 7.76, 9.59, 7.45, 25.13, 1.47, 7.15, 3.57, 22.16, 8.82, 23.22, 8.4, 1.74, 9.36, 8.09, 1.84, 22.14, 22.98, 0.62, 22.21
| 19.77, 13.68, 2.26, 2.28, 23.14, 20.72, 14.86, 12.13, 14.06, 3.21, 22.04, 0.0, 15.6, 21.38, 2.16, 20.78, 2.39, 23.12, 24.65, 3.12, 23.17, 15.0, 13.86, 16.3, 3.61, 21.67, 16.62, 23.1, 2.54, 14.28, 2.83, 14.13, 21.01, 14.25, 14.86, 22.18, 1.08, 3.27, 22.11, 2.78
| 8.28, 4.78, 17.73, 17.8, 11.96, 9.01, 1.33, 3.66, 1.95, 18.78, 8.37, 15.6, 0.0, 8.39, 16.55, 8.67, 17.23, 9.97, 11.19, 16.34, 10.17, 1.78, 1.73, 0.93, 19.08, 8.88, 1.25, 11.18, 16.48, 1.54, 17.48, 2.4, 8.37, 1.35, 1.47, 9.52, 16.0, 17.43, 8.76, 16.6
| 2.23, 7.72, 23.16, 23.29, 3.94, 1.82, 8.01, 10.08, 8.52, 24.26, 1.19, 21.38, 8.39, 0.0, 21.61, 1.29, 22.33, 1.77, 3.28, 21.01, 1.88, 7.54, 9.43, 7.5, 24.39, 0.52, 7.22, 2.92, 21.38, 8.63, 22.44, 8.08, 0.55, 9.25, 7.9, 1.15, 21.43, 22.19, 0.83, 21.43
| 19.86, 14.04, 1.76, 1.95, 23.03, 20.79, 15.67, 12.95, 14.87, 2.79, 22.37, 2.16, 16.55, 21.61, 0.0, 20.91, 0.72, 23.33, 24.87, 1.16, 23.34, 15.74, 14.82, 17.17, 2.79, 21.87, 17.48, 23.1, 0.47, 15.14, 0.94, 14.85, 21.21, 15.22, 15.65, 22.33, 1.08, 1.15, 22.38, 0.68
| 1.1, 7.26, 22.5, 22.63, 3.29, 0.55, 8.1, 9.9, 8.52, 23.6, 2.47, 20.78, 8.67, 1.29, 20.91, 0.0, 21.63, 2.52, 4.04, 20.25, 2.47, 7.59, 9.51, 7.83, 23.69, 1.15, 7.6, 2.58, 20.66, 8.69, 21.72, 8.01, 0.76, 9.38, 7.98, 1.44, 20.78, 21.43, 2.03, 20.69
| 20.58, 14.76, 1.19, 1.4, 23.74, 21.5, 16.37, 13.64, 15.56, 2.13, 23.09, 2.39, 17.23, 22.33, 0.72, 21.63, 0.0, 24.05, 25.59, 1.66, 24.06, 16.44, 15.5, 17.86, 2.07, 22.59, 18.17, 23.82, 1.03, 15.83, 0.45, 15.55, 21.93, 15.89, 16.35, 23.05, 1.42, 1.01, 23.1, 1.11
| 3.62, 9.48, 24.89, 25.02, 3.41, 2.84, 9.68, 11.83, 10.23, 25.99, 1.68, 23.12, 9.97, 1.77, 23.33, 2.52, 24.05, 0.0, 1.54, 22.7, 0.32, 9.24, 11.11, 9.06, 26.11, 1.46, 8.76, 2.19, 23.09, 10.31, 24.15, 9.81, 2.12, 10.9, 9.59, 1.12, 23.16, 23.88, 1.21, 23.13
| 5.14, 10.99, 26.43, 26.56, 4.03, 4.31, 11.01, 13.26, 11.6, 27.53, 2.84, 24.65, 11.19, 3.28, 24.87, 4.04, 25.59, 1.54, 0.0, 24.24, 1.58, 10.59, 12.42, 10.26, 27.65, 3.01, 9.95, 2.93, 24.63, 11.65, 25.69, 11.22, 3.66, 12.2, 10.92, 2.61, 24.7, 25.43, 2.59, 24.67
| 19.19, 13.54, 2.84, 3.05, 22.27, 20.11, 15.39, 12.7, 14.59, 3.78, 21.8, 3.12, 16.34, 21.01, 1.16, 20.25, 1.66, 22.7, 24.24, 0.0, 22.7, 15.42, 14.63, 16.91, 3.64, 21.24, 17.21, 22.38, 0.69, 14.88, 1.55, 14.52, 20.58, 15.03, 15.36, 21.69, 2.08, 1.18, 21.78, 0.55
| 3.56, 9.55, 24.92, 25.05, 3.09, 2.73, 9.86, 11.96, 10.39, 26.02, 1.95, 23.17, 10.17, 1.88, 23.34, 2.47, 24.06, 0.32, 1.58, 22.7, 0.0, 9.4, 11.28, 9.27, 26.12, 1.5, 8.98, 1.88, 23.1, 10.48, 24.16, 9.96, 2.16, 11.09, 9.76, 1.03, 23.19, 23.88, 1.43, 23.14
| 7.03, 3.04, 17.05, 17.14, 10.81, 7.85, 0.56, 2.89, 1.02, 18.12, 7.76, 15.0, 1.78, 7.54, 15.74, 7.59, 16.44, 9.24, 10.59, 15.42, 9.4, 0.0, 1.92, 1.72, 18.37, 8.0, 1.91, 10.16, 15.63, 1.1, 16.66, 0.91, 7.41, 1.83, 0.41, 8.63, 15.3, 16.55, 8.05, 15.73
| 8.94, 4.1, 16.0, 16.07, 12.73, 9.77, 1.43, 2.04, 1.13, 17.04, 9.59, 13.86, 1.73, 9.43, 14.82, 9.51, 15.5, 11.11, 12.42, 14.63, 11.28, 1.92, 0.0, 2.5, 17.35, 9.9, 2.83, 12.08, 14.76, 0.83, 15.76, 1.79, 9.32, 0.39, 1.54, 10.53, 14.27, 15.72, 9.91, 14.89
| 7.49, 4.71, 18.41, 18.48, 11.12, 8.19, 1.54, 4.23, 2.33, 19.46, 7.45, 16.3, 0.93, 7.5, 17.17, 7.83, 17.86, 9.06, 10.26, 16.91, 9.27, 1.72, 2.5, 0.0, 19.75, 8.0, 0.34, 10.32, 17.09, 2.04, 18.1, 2.56, 7.5, 2.15, 1.61, 8.64, 16.67, 18.03, 7.85, 17.2
| 22.64, 16.79, 1.36, 1.33, 25.81, 23.57, 18.27, 15.54, 17.47, 0.63, 25.13, 3.61, 19.08, 24.39, 2.79, 23.69, 2.07, 26.11, 27.65, 3.64, 26.12, 18.37, 17.35, 19.75, 0.0, 24.64, 20.06, 25.89, 3.09, 17.71, 2.08, 17.49, 23.98, 17.74, 18.26, 25.12, 3.08, 2.58, 25.15, 3.11
| 2.22, 8.05, 23.43, 23.56, 3.44, 1.6, 8.47, 10.5, 8.97, 24.53, 1.47, 21.67, 8.88, 0.52, 21.87, 1.15, 22.59, 1.46, 3.01, 21.24, 1.5, 8.0, 9.9, 8.0, 24.64, 0.0, 7.72, 2.4, 21.63, 9.09, 22.69, 8.51, 0.66, 9.72, 8.36, 0.64, 21.7, 22.42, 0.93, 21.67
| 7.29, 4.84, 18.72, 18.8, 10.89, 7.96, 1.82, 4.53, 2.62, 19.78, 7.15, 16.62, 1.25, 7.22, 17.48, 7.6, 18.17, 8.76, 9.95, 17.21, 8.98, 1.91, 2.83, 0.34, 20.06, 7.72, 0.0, 10.06, 17.39, 2.35, 18.4, 2.79, 7.24, 2.49, 1.86, 8.37, 16.98, 18.32, 7.55, 17.5
| 3.39, 9.75, 24.73, 24.88, 1.22, 2.44, 10.67, 12.47, 11.09, 25.83, 3.57, 23.1, 11.18, 2.92, 23.1, 2.58, 23.82, 2.19, 2.93, 22.38, 1.88, 10.16, 12.08, 10.32, 25.89, 2.4, 10.06, 0.0, 22.83, 11.26, 23.88, 10.59, 2.83, 11.94, 10.55, 1.8, 23.03, 23.56, 2.96, 22.84
| 19.6, 13.86, 2.18, 2.38, 22.74, 20.53, 15.58, 12.86, 14.77, 3.16, 22.16, 2.54, 16.48, 21.38, 0.47, 20.66, 1.03, 23.09, 24.63, 0.69, 23.1, 15.63, 14.76, 17.09, 3.09, 21.63, 17.39, 22.83, 0.0, 15.05, 1.06, 14.73, 20.97, 15.16, 15.55, 22.09, 1.47, 0.99, 22.16, 0.24
| 8.11, 3.5, 16.38, 16.45, 11.9, 8.94, 0.65, 2.19, 0.46, 17.43, 8.82, 14.28, 1.54, 8.63, 15.14, 8.69, 15.83, 10.31, 11.65, 14.88, 10.48, 1.1, 0.83, 2.04, 17.71, 9.09, 2.35, 11.26, 15.05, 0.0, 16.06, 1.07, 8.51, 0.82, 0.73, 9.72, 14.63, 15.99, 9.12, 15.17
| 20.66, 14.91, 1.49, 1.7, 23.78, 21.58, 16.6, 13.87, 15.79, 2.27, 23.22, 2.83, 17.48, 22.44, 0.94, 21.72, 0.45, 24.15, 25.69, 1.55, 24.16, 16.66, 15.76, 18.1, 2.08, 22.69, 18.4, 23.88, 1.06, 16.06, 0.0, 15.76, 22.03, 16.15, 16.57, 23.15, 1.83, 0.63, 23.22, 1.04
| 7.34, 2.44, 16.17, 16.26, 11.15, 8.21, 1.08, 2.09, 0.66, 17.24, 8.4, 14.13, 2.4, 8.08, 14.85, 8.01, 15.55, 9.81, 11.22, 14.52, 9.96, 0.91, 1.79, 2.56, 17.49, 8.51, 2.79, 10.59, 14.73, 1.07, 15.76, 0.0, 7.9, 1.88, 0.97, 9.13, 14.41, 15.65, 8.64, 14.83
| 1.68, 7.39, 22.77, 22.9, 3.73, 1.3, 7.9, 9.87, 8.37, 23.87, 1.74, 21.01, 8.37, 0.55, 21.21, 0.76, 21.93, 2.12, 3.66, 20.58, 2.16, 7.41, 9.32, 7.5, 23.98, 0.66, 7.24, 2.83, 20.97, 8.51, 22.03, 7.9, 0.0, 9.16, 7.79, 1.23, 21.04, 21.76, 1.36, 21.01
| 8.85, 4.28, 16.39, 16.46, 12.62, 9.65, 1.28, 2.42, 1.23, 17.43, 9.36, 14.25, 1.35, 9.25, 15.22, 9.38, 15.89, 10.9, 12.2, 15.03, 11.09, 1.83, 0.39, 2.15, 17.74, 9.72, 2.49, 11.94, 15.16, 0.82, 16.15, 1.88, 9.16, 0.0, 1.42, 10.36, 14.66, 16.11, 9.7, 15.28
| 7.43, 3.31, 16.93, 17.01, 11.21, 8.24, 0.15, 2.73, 0.79, 18.0, 8.09, 14.86, 1.47, 7.9, 15.65, 7.98, 16.35, 9.59, 10.92, 15.36, 9.76, 0.41, 1.54, 1.61, 18.26, 8.36, 1.86, 10.55, 15.55, 0.73, 16.57, 0.97, 7.79, 1.42, 0.0, 9.0, 15.18, 16.48, 8.39, 15.66
| 2.53, 8.6, 23.91, 24.05, 2.91, 1.73, 9.11, 11.1, 9.6, 25.02, 1.84, 22.18, 9.52, 1.15, 22.33, 1.44, 23.05, 1.12, 2.61, 21.69, 1.03, 8.63, 10.53, 8.64, 25.12, 0.64, 8.37, 1.8, 22.09, 9.72, 23.15, 9.13, 1.23, 10.36, 9.0, 0.0, 22.19, 22.87, 1.22, 22.12
| 19.75, 13.78, 1.76, 1.87, 23.02, 20.68, 15.19, 12.46, 14.39, 2.85, 22.14, 1.08, 16.0, 21.43, 1.08, 20.78, 1.42, 23.16, 24.7, 2.08, 23.19, 15.3, 14.27, 16.67, 3.08, 21.7, 16.98, 23.03, 1.47, 14.63, 1.83, 14.41, 21.04, 14.66, 15.18, 22.19, 0.0, 2.21, 22.18, 1.71
| 20.37, 14.71, 2.12, 2.33, 23.43, 21.29, 16.51, 13.8, 15.71, 2.84, 22.98, 3.27, 17.43, 22.19, 1.15, 21.43, 1.01, 23.88, 25.43, 1.18, 23.88, 16.55, 15.72, 18.03, 2.58, 22.42, 18.32, 23.56, 0.99, 15.99, 0.63, 15.65, 21.76, 16.11, 16.48, 22.87, 2.21, 0.0, 22.96, 0.83
| 3.04, 8.44, 23.92, 24.04, 4.12, 2.52, 8.49, 10.68, 9.05, 25.02, 0.62, 22.11, 8.76, 0.83, 22.38, 2.03, 23.1, 1.21, 2.59, 21.78, 1.43, 8.05, 9.91, 7.85, 25.15, 0.93, 7.55, 2.96, 22.16, 9.12, 23.22, 8.64, 1.36, 9.7, 8.39, 1.22, 22.18, 22.96, 0.0, 22.2
| 19.63, 13.92, 2.3, 2.5, 22.74, 20.55, 15.69, 12.98, 14.88, 3.23, 22.21, 2.78, 16.6, 21.43, 0.68, 20.69, 1.11, 23.13, 24.67, 0.55, 23.14, 15.73, 14.89, 17.2, 3.11, 21.67, 17.5, 22.84, 0.24, 15.17, 1.04, 14.83, 21.01, 15.28, 15.66, 22.12, 1.71, 0.83, 22.2, 0.0
|];