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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 880
General features
Number of coarse blocks: 20,574
Number of unique subscopes: 1,581
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 10 4.63 4.00 4,074 MAX VALUE 1,262.64 1.99 0.43 2.00
Coarse blocks size 1 512 48.95 16.00 1,007,040 MAX VALUE 62,025.70 75.47 1.54 2.75
Relational linkage 0.25 1.00 0.92 1.00 5,673.67 0.00 -637.72 0.15 0.17 1.20
Tightness 0.00 0.38 0.09 0.06 76.95 0.00 -2,763.17 0.09 1.01 1.99
Tuples 3 1,023 69.61 15.00 61,260 MAX VALUE 2,738.96 142.91 2.05 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.46 2.00 7,055 MAX VALUE 1,640.98 6.24 1.40 1.14
Partitions per subscope 2 8 3.91 4.00 6,175 MAX VALUE 2,096.48 1.07 0.27 0.55
Tree decomposition
Number of clusters: 28
Number of leaves: 13
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 13 501 140.32 57.00 3,929 MAX VALUE 118.47 163.56 1.17 3.23
Cluster variables 36 173 94.04 80.50 2,633 MAX VALUE 123.54 47.33 0.50 3.23
Separator constraints 0 475 108.89 22.00 3,049 0 None 150.22 1.38 3.16
Separator variables 0 171 86.89 64.50 2,433 0 None 47.84 0.55 3.23
Dual tree decomposition
Number of clusters: 180
Number of leaves: 93
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 208 29,874 2,667.72 661.50 480,189 MAX VALUE 1,242.82 5,276.10 1.98 5.09
Cluster variables 27 669 112.06 50.00 20,171 MAX VALUE 771.47 133.63 1.19 4.26
Separator constraints 0 27,809 2,449.29 611.00 440,872 0 None 4,812.69 1.96 5.10
Separator variables 0 638 107.17 48.50 19,291 0 None 126.54 1.18 4.26
Primal graph
Density: 37.55%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.36 0.47 0.42 0.41 83.09 0.00 -175.84 0.02 0.04 5.28
Degree 35 106 74.73 75.00 14,946 MAX VALUE 858.75 14.33 0.19 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.99%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.95 0.95 190.63 0.00 -9.65 0.02 0.02 5.06
Degree 35 193 173.11 185.00 34,622 MAX VALUE 1,022.17 36.71 0.21 2.95
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.17%
MCB compute time (ms): 514,887
MCB cycles: 41,861
Triangles: 377,206
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.61 0.35 0.32 304.74 0.00 -974.03 0.11 0.32 6.73
Degree 26 203 89.36 86.00 78,634 MAX VALUE 3,868.81 37.55 0.42 4.87
Eccentricity 2 3 2.72 3.00 2,393 MAX VALUE 866.63 0.45 0.17 0.59
MCB cycle size 3 4 3.00 3.00 125,692 MAX VALUE 46,020.40 0.05 0.02 0.02
Minimal dual graph
Density: 0.71%
MCB compute time (ms): 109,901
MCB cycles: 1,871
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 14.01 0.00 None 0.04 2.23 1.30
Degree 3 17 6.25 6.00 5,498 MAX VALUE 1,573.60 2.05 0.33 1.88
Eccentricity 5 6 5.79 6.00 5,099 MAX VALUE 1,543.75 0.40 0.07 0.51
MCB cycle size 3 8 5.32 6.00 9,961 MAX VALUE 3,091.89 0.98 0.18 1.32
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: 18.34%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.91 0.91 802.49 0.00 -83.71 0.07 0.08 4.74
Degree 3 397 161.17 24.50 141,828 MAX VALUE 3,299.01 175.67 1.09 3.89
Eccentricity 2 4 3.45 3.00 3,035 MAX VALUE 1,079.24 0.52 0.15 0.75
Incidence graph
Density: 0.70%
MCB compute time (ms): 143,490
MCB cycles: 3,036
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-210_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.54 5.00 8,148 MAX VALUE 1,861.07 6.62 0.88 2.62
Eccentricity 4 6 5.58 6.00 6,031 MAX VALUE 1,853.16 0.50 0.09 0.69
MCB cycle size 4 6 4.95 4.00 15,014 MAX VALUE 4,790.63 1.00 0.20 0.69