Instance: normalized-os-taillard-4-100-8_ext
Number of variables: 16
Number of constraints: 48
Satisfiable: None
Timestamp: 2018-04-21 10:23:44
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 16
Number of constraints: 48
General features
Number of coarse blocks: 19,436
Number of unique subscopes: 16
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Coarse blocks size 1 189 105.76 106.00 2,055,620 MAX VALUE 88,793.60 38.90 0.37 4.88
Relational linkage 0.01 0.93 0.40 0.39 1,278.76 0.00 -3,501.13 0.19 0.47 6.02
Tightness 0.28 0.76 0.49 0.50 23.66 0.00 -35.57 0.13 0.25 3.81
Tuples 7,310 35,910 21,412.70 20,596.00 1,027,810 MAX VALUE 475.08 7,789.71 0.36 3.64
Domain size 167 251 202.62 199.00 3,242 7.31e+36 84.88 22.81 0.11 2.69
Constraints per subscope 6 6 6.00 6.00 96 2.82e+12 28.67 0.00 0.00 0.00
Partitions per subscope 167 251 202.62 199.00 3,242 7.31e+36 84.88 22.81 0.11 2.69
Tree decomposition
Number of clusters: 6
Number of leaves: 4
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 16 13.33 12.00 80 5,308,420 15.48 1.89 0.14 0.64
Cluster variables 7 10 8.00 7.00 48 240,100 12.39 1.41 0.18 0.64
Separator constraints 0 8 5.33 6.00 32 0 None 2.49 0.47 0.87
Separator variables 0 8 5.33 6.00 32 0 None 2.49 0.47 0.87
Dual tree decomposition
Number of clusters: 14
Number of leaves: 8
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 32 40 34.29 32.00 480 2.88e+21 49.41 3.61 0.11 0.60
Cluster variables 11 20 13.71 11.00 192 5.62e+15 36.27 3.37 0.25 0.96
Separator constraints 0 22 17.14 22.00 240 0 None 6.49 0.38 1.05
Separator variables 0 16 10.29 10.00 144 0 None 3.28 0.32 1.05
Primal graph
Density: 40.00%
Dot-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 0.40 0.40 0.40 6.40 0.00 -14.66 0.00 0.00 0.00
Degree 6 6 6.00 6.00 96 2.82e+12 28.67 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
Triangulated primal graph
Density: 71.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.85 0.81 13.60 0.07 -2.68 0.09 0.11 1.04
Degree 6 13 10.75 12.00 172 1.55e+16 37.28 2.86 0.27 1.04
Eccentricity 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
Dual graph
Density: 21.28%
MCB compute time (ms): 27
MCB cycles: 242
Triangles: 352
Dot-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.49 0.49 0.49 23.47 0.00 -34.35 0.00 0.00 0.00
Degree 10 10 10.00 10.00 480 MAX VALUE 110.52 0.00 0.00 0.00
Eccentricity 3 3 3.00 3.00 144 7.98e+22 52.73 0.00 0.00 0.00
MCB cycle size 3 5 3.26 3.00 790 MAX VALUE 283.89 0.49 0.15 0.63
Minimal dual graph
Density: 7.09%
MCB compute time (ms): 4
MCB cycles: 33
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.03 0.00 1.50 0.00 None 0.09 2.81 0.46
Degree 2 5 3.33 3.00 160 4.37e+24 56.74 0.69 0.21 1.04
Eccentricity 5 6 5.52 6.00 265 3.39e+35 81.81 0.50 0.09 0.69
MCB cycle size 3 8 5.45 5.00 180 5.53e+23 54.67 1.52 0.28 1.69
Triangulated dual graph
Density: 49.29%
Triangles: 3,440
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.81 0.81 38.92 0.00 -10.68 0.13 0.16 1.33
Degree 10 33 23.17 23.00 1,112 MAX VALUE 146.63 8.91 0.38 1.33
Eccentricity 2 3 2.17 2.00 104 7.21e+15 36.51 0.37 0.17 0.45
Triangulated minimal dual graph
Density: 17.64%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.73 0.67 34.97 0.00 -17.25 0.21 0.29 2.63
Degree 2 20 8.29 6.00 398 3.37e+38 88.71 5.93 0.71 2.51
Eccentricity 3 5 3.79 4.00 182 3.23e+27 63.34 0.61 0.16 0.91
Incidence graph
Density: 4.76%
MCB compute time (ms): 6
MCB cycles: 33
Dot-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-4ExtConvert/normalized-os-taillard-4-100-8_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 6 3.00 2.00 192 7.94e+26 61.94 1.73 0.58 0.56
Eccentricity 5 6 5.75 6.00 368 MAX VALUE 111.75 0.43 0.08 0.56
MCB cycle size 6 8 6.55 6.00 216 6.36e+26 61.72 0.89 0.14 0.59