Instance: normalized-jnh-209_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,969
Number of unique subscopes: 1,621
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.61 4.00 4,064 MAX VALUE 1,260.95 2.02 0.44 2.01
Coarse blocks size 1 1,024 57.25 16.00 1,200,540 MAX VALUE 63,603.30 103.68 1.81 2.82
Relational linkage 0.50 1.00 0.91 1.00 5,786.77 0.00 -693.25 0.16 0.17 1.19
Tightness 0.00 0.25 0.09 0.06 78.14 0.00 -2,742.09 0.09 0.98 1.99
Tuples 3 2,047 75.76 15.00 66,818 MAX VALUE 2,730.83 183.75 2.43 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.41 2.00 7,149 MAX VALUE 1,678.18 6.17 1.40 1.14
Partitions per subscope 2 16 3.91 4.00 6,335 MAX VALUE 2,150.09 1.11 0.28 0.55
Tree decomposition
Number of clusters: 27
Number of leaves: 13
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 17 501 150.70 47.00 4,069 MAX VALUE 116.70 172.66 1.15 3.24
Cluster variables 36 173 94.30 77.00 2,546 MAX VALUE 119.05 48.45 0.51 2.99
Separator constraints 0 473 118.04 24.00 3,187 0 None 159.23 1.35 3.14
Separator variables 0 171 86.89 70.00 2,346 0 None 48.92 0.56 2.99
Dual tree decomposition
Number of clusters: 181
Number of leaves: 91
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 200 29,599 2,687.43 637.00 486,425 MAX VALUE 1,252.72 5,228.00 1.95 5.13
Cluster variables 27 671 113.33 48.00 20,513 MAX VALUE 777.95 133.40 1.18 4.24
Separator constraints 0 25,989 2,470.90 575.00 447,232 0 None 4,779.46 1.93 5.15
Separator variables 0 618 108.46 47.00 19,631 0 None 126.39 1.17 4.24
Primal graph
Density: 37.25%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.36 0.46 0.41 0.42 82.81 0.00 -176.52 0.02 0.04 5.28
Degree 35 109 74.12 74.00 14,824 MAX VALUE 856.92 14.69 0.20 3.93
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 87.41%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.96 0.95 191.04 0.00 -9.20 0.02 0.02 5.09
Degree 35 194 173.95 186.00 34,790 MAX VALUE 1,023.28 36.37 0.21 2.78
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.09%
MCB compute time (ms): 893,311
MCB cycles: 41,255
Triangles: 378,467
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.62 0.35 0.32 307.77 0.00 -968.76 0.11 0.31 6.75
Degree 26 212 88.87 83.00 78,386 MAX VALUE 3,871.84 38.26 0.43 4.84
Eccentricity 2 3 2.74 3.00 2,419 MAX VALUE 876.93 0.44 0.16 0.57
MCB cycle size 3 4 3.00 3.00 123,860 MAX VALUE 45,350.60 0.05 0.02 0.02
Minimal dual graph
Density: 0.70%
MCB compute time (ms): 114,556
MCB cycles: 1,843
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 15.24 0.00 None 0.04 2.21 1.36
Degree 3 19 6.17 6.00 5,446 MAX VALUE 1,559.06 2.30 0.37 1.89
Eccentricity 5 7 5.80 6.00 5,120 MAX VALUE 1,548.72 0.42 0.07 0.56
MCB cycle size 3 7 5.29 5.00 9,753 MAX VALUE 3,031.34 1.03 0.19 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: 16.50%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.91 0.90 801.80 0.00 -86.91 0.07 0.08 4.64
Degree 3 380 145.38 19.00 128,226 MAX VALUE 3,195.60 165.30 1.14 3.93
Eccentricity 2 4 3.34 3.00 2,947 MAX VALUE 1,052.27 0.54 0.16 0.79
Incidence graph
Density: 0.69%
MCB compute time (ms): 154,745
MCB cycles: 3,013
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-209_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.51 5.00 8,128 MAX VALUE 1,858.59 6.63 0.88 2.63
Eccentricity 4 6 5.60 6.00 6,064 MAX VALUE 1,860.61 0.49 0.09 0.68
MCB cycle size 4 6 4.90 4.00 14,774 MAX VALUE 4,728.74 1.00 0.20 0.69