Instance: normalized-graceful--K3-P2_ext
Number of variables: 15
Number of constraints: 51
Satisfiable: None
Timestamp: 2018-04-21 10:06:04
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 15
Number of constraints: 51
General features
Number of coarse blocks: 1,029
Number of unique subscopes: 15
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.18 2.00 111 8.66e+16 39.00 0.38 0.18 0.47
Coarse blocks size 2 18 8.45 8.00 8,694 MAX VALUE 2,178.01 1.58 0.19 0.98
Relational linkage 0.02 0.18 0.10 0.10 14.10 0.00 -339.81 0.04 0.39 1.75
Tightness 0.10 0.90 0.25 0.11 12.70 0.00 -93.86 0.30 1.21 0.80
Tuples 72 90 77.29 72.00 3,942 MAX VALUE 221.46 8.20 0.11 0.61
Domain size 9 10 9.40 9.00 141 3.87e+14 33.59 0.49 0.05 0.67
Constraints per subscope 5 9 7.40 9.00 111 6.05e+12 29.43 1.96 0.26 0.67
Partitions per subscope 9 10 9.40 9.00 141 3.87e+14 33.59 0.49 0.05 0.67
Tree decomposition
Number of clusters: 5
Number of leaves: 2
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 37 22.60 18.00 113 3,836,160 15.16 9.37 0.41 1.61
Cluster variables 9 11 10.20 10.00 51 108,900 11.60 0.75 0.07 1.05
Separator constraints 0 28 12.40 12.00 62 0 None 9.31 0.75 1.61
Separator variables 0 10 7.20 9.00 36 0 None 3.66 0.51 1.33
Dual tree decomposition
Number of clusters: 12
Number of leaves: 7
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 24 167 77.83 79.00 934 4.00e+21 49.74 46.84 0.60 1.98
Cluster variables 9 32 17.67 17.00 212 3.12e+14 33.37 7.52 0.43 1.42
Separator constraints 0 93 45.83 56.50 550 0 None 29.90 0.65 1.98
Separator variables 0 24 13.42 16.00 161 0 None 6.74 0.50 1.42
Primal graph
Density: 65.71%
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 0.73 0.67 0.73 10.03 0.00 -6.15 0.08 0.12 0.67
Degree 8 10 9.20 10.00 138 2.62e+14 33.20 0.98 0.11 0.67
Eccentricity 2 2 2.00 2.00 30 32,768 10.40 0.00 0.00 0.00
Triangulated primal graph
Density: 86.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.85 1.00 0.91 0.90 13.68 0.24 -1.41 0.06 0.06 1.89
Degree 8 14 12.13 13.00 182 1.51e+16 37.25 1.82 0.15 1.64
Eccentricity 1 2 1.67 2.00 25 1,024 6.93 0.47 0.28 0.64
Dual graph
Density: 30.12%
MCB compute time (ms): 296
MCB cycles: 334
Triangles: 938
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 0.57 0.51 0.53 26.08 0.00 -34.52 0.05 0.10 1.29
Degree 8 16 15.06 16.00 768 MAX VALUE 137.24 2.58 0.17 0.36
Eccentricity 2 3 2.47 2.00 126 3.79e+19 45.08 0.50 0.20 0.69
MCB cycle size 3 3 3.00 3.00 1,002 MAX VALUE 366.94 0.00 0.00 0.00
Minimal dual graph
Density: 7.53%
MCB compute time (ms): 8
MCB cycles: 46
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.04 0.00 1.90 0.00 None 0.07 1.97 0.75
Degree 2 5 3.76 4.00 192 8.52e+28 66.61 0.73 0.19 1.09
Eccentricity 5 7 5.82 6.00 297 MAX VALUE 89.43 0.76 0.13 1.07
MCB cycle size 3 7 4.72 5.00 217 3.90e+30 70.44 0.92 0.20 1.33
Triangulated dual graph
Density: 65.41%
Triangles: 8,284
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.87 0.89 44.43 0.00 -7.26 0.08 0.09 1.92
Degree 8 46 32.71 37.00 1,668 MAX VALUE 173.23 11.11 0.34 2.01
Eccentricity 2 3 2.04 2.00 104 5.07e+15 36.16 0.19 0.10 0.17
Triangulated minimal dual graph
Density: 20.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.36 1.00 0.74 0.69 37.75 0.00 -17.04 0.19 0.25 2.88
Degree 2 28 10.04 7.00 512 MAX VALUE 106.06 6.36 0.63 2.62
Eccentricity 3 5 3.65 4.00 186 2.21e+28 65.26 0.62 0.17 0.91
Incidence graph
Density: 5.17%
MCB compute time (ms): 9
MCB cycles: 46
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_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 9 3.36 2.00 222 5.24e+29 68.43 2.40 0.71 1.05
Eccentricity 4 6 5.23 5.00 345 MAX VALUE 108.59 0.67 0.13 0.99
MCB cycle size 6 6 6.00 6.00 276 6.24e+35 82.42 0.00 0.00 0.00