Instance: normalized-jnh-217_ext
Number of variables: 200
Number of constraints: 883
Satisfiable: None
Timestamp: 2018-04-21 10:35:23
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 200
Number of constraints: 883
General features
Number of coarse blocks: 21,226
Number of unique subscopes: 1,635
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.65 4.00 4,104 MAX VALUE 1,272.55 2.01 0.43 2.01
Coarse blocks size 1 1,024 58.10 16.00 1,233,260 MAX VALUE 64,690.80 106.20 1.83 2.81
Relational linkage 0.50 1.00 0.91 1.00 5,864.13 0.00 -702.06 0.15 0.17 1.19
Tightness 0.00 0.25 0.09 0.06 75.31 0.00 -2,769.12 0.08 0.99 1.98
Tuples 3 2,047 76.90 15.00 67,903 MAX VALUE 2,761.92 186.90 2.43 2.10
Domain size 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Constraints per subscope 2 32 4.41 2.00 7,218 MAX VALUE 1,690.18 6.21 1.41 1.14
Partitions per subscope 2 16 3.93 4.00 6,421 MAX VALUE 2,173.54 1.19 0.30 0.55
Tree decomposition
Number of clusters: 29
Number of leaves: 13
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 479 147.97 61.00 4,291 MAX VALUE 123.83 164.66 1.11 3.27
Cluster variables 37 171 95.28 82.00 2,763 MAX VALUE 128.03 49.06 0.51 3.18
Separator constraints 0 457 117.52 32.00 3,408 0 None 153.82 1.31 3.27
Separator variables 0 169 88.38 79.00 2,563 0 None 49.75 0.56 3.22
Dual tree decomposition
Number of clusters: 178
Number of leaves: 96
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 230 30,486 2,692.05 623.00 479,185 MAX VALUE 1,234.25 5,167.12 1.92 5.04
Cluster variables 29 679 113.09 47.50 20,130 MAX VALUE 765.09 132.02 1.17 4.24
Separator constraints 0 26,130 2,467.43 568.50 439,203 0 None 4,677.61 1.90 5.10
Separator variables 0 615 108.13 46.00 19,247 0 None 124.67 1.15 4.24
Primal graph
Density: 37.83%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 0.48 0.42 0.42 84.03 0.00 -173.60 0.02 0.04 5.27
Degree 36 115 75.28 75.00 15,056 MAX VALUE 859.94 15.05 0.20 3.90
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 86.77%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.95 0.95 190.64 0.00 -9.63 0.02 0.02 5.02
Degree 36 192 172.68 185.00 34,536 MAX VALUE 1,021.27 37.13 0.22 2.96
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.27%
MCB compute time (ms): 76,002
MCB cycles: 48,831
Triangles: 392,269
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.62 0.35 0.32 305.69 0.00 -975.30 0.11 0.31 6.74
Degree 28 221 90.56 86.00 79,964 MAX VALUE 3,894.18 38.67 0.43 4.87
Eccentricity 2 3 2.72 3.00 2,398 MAX VALUE 868.30 0.45 0.17 0.60
MCB cycle size 3 4 3.01 3.00 146,917 MAX VALUE 53,768.30 0.09 0.03 0.05
Minimal dual graph
Density: 0.70%
MCB compute time (ms): 115,555
MCB cycles: 1,852
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 15.69 0.00 None 0.04 2.35 1.34
Degree 2 20 6.19 6.00 5,466 MAX VALUE 1,561.72 2.33 0.38 1.92
Eccentricity 5 7 5.80 6.00 5,118 MAX VALUE 1,549.14 0.42 0.07 0.55
MCB cycle size 3 8 5.27 5.00 9,753 MAX VALUE 3,038.90 1.00 0.19 1.36
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 17.18%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.91 0.91 804.61 0.00 -85.08 0.07 0.08 4.64
Degree 2 387 151.49 20.00 133,762 MAX VALUE 3,226.67 169.78 1.12 3.92
Eccentricity 3 5 3.55 4.00 3,139 MAX VALUE 1,110.85 0.50 0.14 0.71
Incidence graph
Density: 0.70%
MCB compute time (ms): 108,999
MCB cycles: 3,058
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-217_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 32 7.58 5.00 8,208 MAX VALUE 1,872.19 6.68 0.88 2.63
Eccentricity 4 6 5.58 6.00 6,042 MAX VALUE 1,857.13 0.50 0.09 0.70
MCB cycle size 4 6 4.91 4.00 15,018 MAX VALUE 4,804.10 1.00 0.20 0.69