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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 873
General features
Number of coarse blocks: 20,854
Number of unique subscopes: 1,620
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.64 4.00 4,055 MAX VALUE 1,252.91 2.03 0.44 2.02
Coarse blocks size 1 1,024 54.16 16.00 1,129,460 MAX VALUE 63,716.40 92.62 1.71 2.80
Relational linkage 0.50 1.00 0.91 1.00 5,777.37 0.00 -704.49 0.16 0.17 1.21
Tightness 0.00 0.25 0.09 0.06 78.64 0.00 -2,719.22 0.09 0.99 1.99
Tuples 3 2,047 74.73 15.00 65,242 MAX VALUE 2,723.82 169.27 2.27 2.13
Domain size 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Constraints per subscope 2 33 4.39 2.00 7,115 MAX VALUE 1,667.94 6.15 1.40 1.12
Partitions per subscope 2 8 3.91 4.00 6,332 MAX VALUE 2,150.84 1.05 0.27 0.53
Tree decomposition
Number of clusters: 26
Number of leaves: 13
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 13 520 134.65 44.00 3,501 MAX VALUE 107.58 169.42 1.26 3.20
Cluster variables 36 175 90.88 74.00 2,363 MAX VALUE 113.72 47.83 0.53 3.10
Separator constraints 0 500 101.08 24.00 2,628 0 None 152.47 1.51 3.10
Separator variables 0 174 83.19 65.00 2,163 0 None 47.77 0.57 3.15
Dual tree decomposition
Number of clusters: 181
Number of leaves: 92
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 211 29,634 2,546.98 631.00 461,003 MAX VALUE 1,247.41 5,068.01 1.99 5.09
Cluster variables 27 664 108.89 50.00 19,710 MAX VALUE 773.73 127.85 1.17 4.30
Separator constraints 0 25,753 2,331.66 575.00 422,030 0 None 4,601.55 1.97 5.07
Separator variables 0 608 104.07 48.00 18,837 0 None 120.65 1.16 4.31
Primal graph
Density: 37.61%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 0.47 0.42 0.42 83.52 0.00 -174.80 0.02 0.04 5.29
Degree 35 106 74.85 75.00 14,970 MAX VALUE 858.88 14.71 0.20 3.94
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 87.38%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.92 1.00 0.96 0.96 191.22 0.00 -9.02 0.02 0.02 5.04
Degree 35 191 173.88 186.00 34,776 MAX VALUE 1,023.08 36.65 0.21 2.70
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.24%
MCB compute time (ms): 1,503,050
MCB cycles: 40,589
Triangles: 376,106
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.63 0.35 0.32 304.24 0.00 -961.16 0.11 0.32 6.72
Degree 26 195 89.29 86.00 77,946 MAX VALUE 3,834.76 38.15 0.43 4.86
Eccentricity 2 3 2.71 3.00 2,366 MAX VALUE 856.51 0.45 0.17 0.60
MCB cycle size 3 4 3.00 3.00 121,844 MAX VALUE 44,613.70 0.04 0.01 0.01
Minimal dual graph
Density: 0.72%
MCB compute time (ms): 108,209
MCB cycles: 1,872
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 17.88 0.00 None 0.04 2.00 1.46
Degree 3 19 6.27 6.00 5,476 MAX VALUE 1,562.25 2.17 0.35 1.86
Eccentricity 5 6 5.75 6.00 5,018 MAX VALUE 1,524.10 0.43 0.08 0.56
MCB cycle size 3 7 5.28 5.00 9,876 MAX VALUE 3,071.46 1.04 0.20 1.39
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.48%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.91 0.90 791.79 0.00 -88.06 0.07 0.08 4.75
Degree 3 389 152.45 23.00 133,092 MAX VALUE 3,235.17 168.82 1.11 3.96
Eccentricity 2 4 3.07 3.00 2,676 MAX VALUE 968.77 0.44 0.14 0.62
Incidence graph
Density: 0.71%
MCB compute time (ms): 154,000
MCB cycles: 3,036
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-205_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 33 7.56 5.00 8,110 MAX VALUE 1,850.20 6.61 0.87 2.64
Eccentricity 4 6 5.58 6.00 5,983 MAX VALUE 1,839.52 0.50 0.09 0.69
MCB cycle size 4 6 4.92 4.00 14,934 MAX VALUE 4,774.41 1.00 0.20 0.69