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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 877
General features
Number of coarse blocks: 20,916
Number of unique subscopes: 1,599
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.66 4.00 4,090 MAX VALUE 1,267.34 1.98 0.42 2.01
Coarse blocks size 1 1,024 49.70 16.00 1,039,460 MAX VALUE 63,083.30 81.87 1.65 2.76
Relational linkage 0.25 1.00 0.92 1.00 5,770.13 0.00 -672.28 0.16 0.17 1.20
Tightness 0.00 0.38 0.09 0.06 75.35 0.00 -2,766.64 0.09 1.01 2.00
Tuples 3 2,047 70.79 15.00 62,085 MAX VALUE 2,751.92 151.48 2.14 2.12
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.45 2.00 7,123 MAX VALUE 1,660.52 6.24 1.40 1.15
Partitions per subscope 2 16 3.94 4.00 6,298 MAX VALUE 2,129.47 1.15 0.29 0.57
Tree decomposition
Number of clusters: 28
Number of leaves: 14
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 16 498 115.82 38.50 3,243 MAX VALUE 114.64 144.04 1.24 3.23
Cluster variables 37 173 87.54 71.00 2,451 MAX VALUE 121.83 43.94 0.50 3.23
Separator constraints 0 423 84.50 20.50 2,366 0 None 125.07 1.48 3.18
Separator variables 0 167 80.39 66.50 2,251 0 None 43.58 0.54 3.23
Dual tree decomposition
Number of clusters: 177
Number of leaves: 94
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 236 29,624 2,875.26 618.00 508,921 MAX VALUE 1,225.10 5,800.31 2.02 5.14
Cluster variables 29 665 115.47 48.00 20,439 MAX VALUE 759.77 142.00 1.23 4.19
Separator constraints 0 27,561 2,651.48 571.00 469,312 0 None 5,380.22 2.03 5.11
Separator variables 0 633 110.52 46.00 19,562 0 None 135.36 1.22 4.19
Primal graph
Density: 37.70%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 0.49 0.42 0.42 83.59 0.00 -174.63 0.02 0.04 5.26
Degree 36 112 75.02 76.00 15,004 MAX VALUE 859.38 14.67 0.20 3.92
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 86.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.95 0.95 190.08 0.00 -10.23 0.02 0.02 5.09
Degree 36 190 171.29 184.50 34,258 MAX VALUE 1,019.46 37.82 0.22 2.92
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.31%
MCB compute time (ms): 1,384,590
MCB cycles: 41,242
Triangles: 383,668
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.61 0.34 0.32 302.12 0.00 -973.59 0.11 0.31 6.74
Degree 28 199 90.33 86.00 79,218 MAX VALUE 3,867.30 37.60 0.42 4.85
Eccentricity 2 3 2.71 3.00 2,373 MAX VALUE 858.87 0.46 0.17 0.61
MCB cycle size 3 4 3.00 3.00 123,811 MAX VALUE 45,333.40 0.05 0.02 0.01
Minimal dual graph
Density: 0.71%
MCB compute time (ms): 151,469
MCB cycles: 1,853
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 12.85 0.00 None 0.03 2.26 1.25
Degree 3 17 6.22 6.00 5,458 MAX VALUE 1,563.63 2.09 0.34 1.89
Eccentricity 5 6 5.77 6.00 5,056 MAX VALUE 1,533.81 0.42 0.07 0.55
MCB cycle size 3 7 5.34 6.00 9,893 MAX VALUE 3,069.84 0.95 0.18 1.27
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.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.91 0.90 796.98 0.00 -86.80 0.07 0.08 4.70
Degree 3 393 155.29 22.00 136,188 MAX VALUE 3,254.03 171.11 1.10 3.93
Eccentricity 2 4 3.42 3.00 2,999 MAX VALUE 1,067.47 0.53 0.15 0.77
Incidence graph
Density: 0.71%
MCB compute time (ms): 129,101
MCB cycles: 3,072
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-207_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.60 5.00 8,180 MAX VALUE 1,866.58 6.64 0.87 2.63
Eccentricity 4 6 5.57 6.00 6,003 MAX VALUE 1,846.00 0.50 0.09 0.69
MCB cycle size 4 6 4.94 4.00 15,172 MAX VALUE 4,843.38 1.00 0.20 0.69