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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 972
General features
Number of coarse blocks: 30,434
Number of unique subscopes: 2,419
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 14 4.93 5.00 4,794 MAX VALUE 1,457.12 2.09 0.42 2.07
Coarse blocks size 1 8,192 105.94 31.00 3,224,040 MAX VALUE 99,264.20 426.47 4.03 2.87
Relational linkage 0.25 1.00 0.92 1.00 8,987.99 0.00 -988.15 0.15 0.16 1.22
Tightness 0.00 0.38 0.08 0.03 78.24 0.00 -3,205.40 0.09 1.09 2.05
Tuples 3 16,383 117.05 31.00 113,771 MAX VALUE 3,236.59 632.27 5.40 2.22
Domain size 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Constraints per subscope 2 40 4.03 2.00 9,756 MAX VALUE 2,371.39 6.16 1.53 1.07
Partitions per subscope 2 16 4.04 4.00 9,776 MAX VALUE 3,299.16 1.12 0.28 0.51
Tree decomposition
Number of clusters: 24
Number of leaves: 11
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 23 565 180.00 61.00 4,320 MAX VALUE 110.48 188.52 1.05 3.12
Cluster variables 50 177 106.62 88.50 2,559 MAX VALUE 109.91 44.63 0.42 3.00
Separator constraints 0 529 139.50 40.00 3,348 0 None 174.05 1.25 3.06
Separator variables 0 174 98.29 83.50 2,359 0 None 46.87 0.48 3.00
Dual tree decomposition
Number of clusters: 176
Number of leaves: 90
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 283 43,374 3,730.35 823.00 656,542 MAX VALUE 1,272.48 7,725.27 2.07 5.14
Cluster variables 32 773 127.20 57.50 22,387 MAX VALUE 779.76 152.11 1.20 4.27
Separator constraints 0 38,202 3,423.63 759.00 602,559 0 None 7,071.35 2.07 5.10
Separator variables 0 712 121.68 56.00 21,415 0 None 143.84 1.18 4.27
Primal graph
Density: 43.76%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.51 0.47 0.47 94.14 0.00 -150.80 0.01 0.03 5.27
Degree 49 136 87.08 86.50 17,416 MAX VALUE 890.53 14.48 0.17 3.91
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 90.13%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.93 1.00 0.96 0.96 191.74 0.00 -8.47 0.02 0.02 5.06
Degree 49 194 179.35 189.00 35,870 MAX VALUE 1,032.59 31.21 0.17 2.73
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: None%
MCB compute time (ms): 3,737,630
MCB cycles: 56,677
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/Dual1.pdf

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
MCB cycle size 3 4 3.00 3.00 170,125 MAX VALUE 62,293.10 0.04 0.01 0.01
Minimal dual graph
Density: 0.71%
MCB compute time (ms): 207,744
MCB cycles: 2,410
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.03 0.00 28.65 0.00 None 0.05 1.59 2.16
Degree 2 37 6.94 6.00 6,748 MAX VALUE 1,785.96 3.65 0.53 2.30
Eccentricity 5 7 5.75 6.00 5,590 MAX VALUE 1,696.71 0.49 0.09 0.71
MCB cycle size 3 8 4.73 5.00 11,407 MAX VALUE 3,682.69 1.07 0.23 1.46
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.60%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.91 0.90 883.93 0.00 -95.64 0.07 0.08 4.80
Degree 2 438 161.21 20.00 156,694 MAX VALUE 3,569.60 183.19 1.14 4.02
Eccentricity 2 4 3.47 3.00 3,369 MAX VALUE 1,197.11 0.52 0.15 0.74
Incidence graph
Density: 0.70%
MCB compute time (ms): 257,815
MCB cycles: 3,710
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-301_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 40 8.18 5.00 9,588 MAX VALUE 2,088.60 7.67 0.94 2.66
Eccentricity 4 6 5.41 5.00 6,338 MAX VALUE 1,972.23 0.54 0.10 0.79
MCB cycle size 4 6 4.54 4.00 16,838 MAX VALUE 5,548.21 0.89 0.20 0.58