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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 886
General features
Number of coarse blocks: 20,846
Number of unique subscopes: 1,587
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.62 4.00 4,094 MAX VALUE 1,272.00 1.97 0.43 2.00
Coarse blocks size 1 1,024 49.42 16.00 1,030,130 MAX VALUE 62,378.30 82.60 1.67 2.74
Relational linkage 0.50 1.00 0.92 1.00 5,762.30 0.00 -625.58 0.15 0.16 1.16
Tightness 0.00 0.25 0.08 0.06 75.02 0.00 -2,792.69 0.08 1.00 1.98
Tuples 3 2,047 69.27 15.00 61,375 MAX VALUE 2,755.25 148.97 2.15 2.07
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.48 2.00 7,103 MAX VALUE 1,652.58 6.27 1.40 1.16
Partitions per subscope 2 16 3.94 4.00 6,259 MAX VALUE 2,114.50 1.16 0.29 0.57
Tree decomposition
Number of clusters: 29
Number of leaves: 12
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 496 149.93 62.00 4,348 MAX VALUE 124.81 172.13 1.15 3.22
Cluster variables 37 172 96.41 93.00 2,796 MAX VALUE 128.75 47.71 0.49 3.22
Separator constraints 0 478 119.38 23.00 3,462 0 None 161.06 1.35 3.18
Separator variables 0 171 89.52 70.00 2,596 0 None 48.57 0.54 3.27
Dual tree decomposition
Number of clusters: 181
Number of leaves: 93
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 206 29,492 2,636.34 634.00 477,177 MAX VALUE 1,254.36 5,036.43 1.91 5.09
Cluster variables 27 669 113.19 50.00 20,487 MAX VALUE 778.71 131.11 1.16 4.29
Separator constraints 0 26,884 2,416.40 586.00 437,368 0 None 4,550.75 1.88 5.10
Separator variables 0 630 108.29 48.00 19,601 0 None 123.84 1.14 4.29
Primal graph
Density: 37.40%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 0.48 0.41 0.41 82.81 0.00 -176.54 0.02 0.04 5.29
Degree 36 109 74.43 73.50 14,886 MAX VALUE 857.90 14.45 0.19 3.87
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 86.94%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.95 0.95 190.48 0.00 -9.81 0.02 0.02 5.09
Degree 36 193 173.02 185.00 34,604 MAX VALUE 1,022.20 36.61 0.21 3.03
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.15%
MCB compute time (ms): 238,884
MCB cycles: 46,669
Triangles: 384,248
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_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 306.12 0.00 -981.43 0.11 0.31 6.74
Degree 26 206 89.86 85.00 79,618 MAX VALUE 3,902.31 37.59 0.42 4.87
Eccentricity 2 3 2.73 3.00 2,418 MAX VALUE 876.06 0.44 0.16 0.58
MCB cycle size 3 4 3.01 3.00 140,274 MAX VALUE 51,347.90 0.08 0.03 0.04
Minimal dual graph
Density: 0.70%
MCB compute time (ms): 113,862
MCB cycles: 1,847
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.20 0.01 0.00 12.77 0.00 None 0.03 2.29 1.19
Degree 3 19 6.17 6.00 5,464 MAX VALUE 1,571.29 2.09 0.34 1.89
Eccentricity 5 7 5.80 6.00 5,136 MAX VALUE 1,554.51 0.42 0.07 0.55
MCB cycle size 3 8 5.36 6.00 9,893 MAX VALUE 3,065.21 0.96 0.18 1.29
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.34%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.65 1.00 0.91 0.90 803.96 0.00 -89.07 0.07 0.08 4.74
Degree 3 398 153.50 22.50 136,002 MAX VALUE 3,268.70 170.81 1.11 3.99
Eccentricity 2 4 3.28 3.00 2,910 MAX VALUE 1,043.63 0.50 0.15 0.71
Incidence graph
Density: 0.69%
MCB compute time (ms): 113,691
MCB cycles: 3,067
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-220_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.54 5.00 8,188 MAX VALUE 1,871.15 6.66 0.88 2.62
Eccentricity 5 6 5.59 6.00 6,076 MAX VALUE 1,865.63 0.49 0.09 0.68
MCB cycle size 4 6 4.95 4.00 15,168 MAX VALUE 4,839.69 1.00 0.20 0.69