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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 882
General features
Number of coarse blocks: 20,962
Number of unique subscopes: 1,602
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.62 4.00 4,077 MAX VALUE 1,265.19 2.00 0.43 2.01
Coarse blocks size 1 1,024 52.96 16.00 1,110,230 MAX VALUE 63,168.30 92.54 1.75 2.78
Relational linkage 0.50 1.00 0.92 1.00 5,791.59 0.00 -663.62 0.15 0.17 1.18
Tightness 0.00 0.25 0.09 0.06 76.36 0.00 -2,764.27 0.09 0.99 1.99
Tuples 3 2,047 72.51 15.00 63,956 MAX VALUE 2,741.89 165.87 2.29 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.45 2.00 7,124 MAX VALUE 1,664.89 6.22 1.40 1.15
Partitions per subscope 2 16 3.94 4.00 6,318 MAX VALUE 2,135.01 1.16 0.29 0.57
Tree decomposition
Number of clusters: 28
Number of leaves: 13
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 17 508 157.14 52.00 4,400 MAX VALUE 120.86 181.89 1.16 3.13
Cluster variables 37 173 96.25 81.50 2,695 MAX VALUE 124.08 49.08 0.51 3.00
Separator constraints 0 493 125.64 29.50 3,518 0 None 170.70 1.36 3.16
Separator variables 0 172 89.11 74.00 2,495 0 None 49.84 0.56 3.07
Dual tree decomposition
Number of clusters: 181
Number of leaves: 92
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 224 29,086 2,499.51 636.00 452,411 MAX VALUE 1,252.67 4,756.51 1.90 5.13
Cluster variables 28 662 110.21 49.00 19,948 MAX VALUE 777.79 124.86 1.13 4.25
Separator constraints 0 26,416 2,281.56 587.00 412,963 0 None 4,244.55 1.86 5.13
Separator variables 0 622 105.34 47.00 19,066 0 None 117.21 1.11 4.24
Primal graph
Density: 37.33%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 0.46 0.41 0.41 82.72 0.00 -176.73 0.02 0.04 5.26
Degree 36 105 74.29 74.00 14,858 MAX VALUE 857.44 14.60 0.20 3.91
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 87.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.95 0.95 190.94 0.00 -9.31 0.02 0.02 5.10
Degree 36 193 173.73 186.00 34,746 MAX VALUE 1,023.05 36.46 0.21 2.86
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): 360,540
MCB cycles: 44,272
Triangles: 381,448
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.60 0.35 0.32 306.01 0.00 -973.36 0.11 0.31 6.73
Degree 27 204 89.45 85.00 78,896 MAX VALUE 3,878.39 38.05 0.43 4.88
Eccentricity 2 3 2.72 3.00 2,402 MAX VALUE 870.04 0.45 0.16 0.59
MCB cycle size 3 4 3.00 3.00 133,004 MAX VALUE 48,691.80 0.07 0.02 0.03
Minimal dual graph
Density: 0.70%
MCB compute time (ms): 142,282
MCB cycles: 1,835
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.20 0.02 0.00 15.03 0.00 None 0.04 2.13 1.33
Degree 3 19 6.16 6.00 5,432 MAX VALUE 1,560.44 2.19 0.35 1.88
Eccentricity 5 6 5.80 6.00 5,116 MAX VALUE 1,548.24 0.40 0.07 0.50
MCB cycle size 3 7 5.33 6.00 9,782 MAX VALUE 3,034.31 0.99 0.19 1.34
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.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.91 0.90 802.24 0.00 -86.56 0.07 0.08 4.63
Degree 3 394 151.75 21.00 133,840 MAX VALUE 3,235.37 169.53 1.12 3.92
Eccentricity 2 4 3.47 3.00 3,060 MAX VALUE 1,087.96 0.50 0.14 0.70
Incidence graph
Density: 0.70%
MCB compute time (ms): 147,747
MCB cycles: 3,021
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-204_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,154 MAX VALUE 1,863.48 6.64 0.88 2.63
Eccentricity 4 6 5.59 6.00 6,047 MAX VALUE 1,857.51 0.49 0.09 0.68
MCB cycle size 4 6 4.92 4.00 14,850 MAX VALUE 4,748.75 1.00 0.20 0.69