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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 926
General features
Number of coarse blocks: 22,660
Number of unique subscopes: 1,756
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 10 4.66 5.00 4,311 MAX VALUE 1,335.09 1.98 0.43 2.00
Coarse blocks size 1 512 47.67 16.00 1,080,210 MAX VALUE 68,188.00 72.92 1.53 2.75
Relational linkage 0.50 1.00 0.92 1.00 6,352.05 0.00 -718.49 0.15 0.17 1.18
Tightness 0.00 0.25 0.09 0.06 80.52 0.00 -2,912.60 0.09 1.00 1.98
Tuples 3 1,023 69.62 31.00 64,465 MAX VALUE 2,899.38 140.69 2.02 2.11
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.37 2.00 7,673 MAX VALUE 1,785.73 6.35 1.45 1.09
Partitions per subscope 2 8 3.94 4.00 6,919 MAX VALUE 2,346.71 1.06 0.27 0.53
Tree decomposition
Number of clusters: 26
Number of leaves: 12
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 16 529 171.15 70.00 4,450 MAX VALUE 115.76 189.71 1.11 3.04
Cluster variables 37 174 100.54 91.00 2,614 MAX VALUE 116.68 48.11 0.48 3.04
Separator constraints 0 519 135.54 27.00 3,524 0 None 178.11 1.31 3.20
Separator variables 0 173 92.85 77.00 2,414 0 None 49.37 0.53 3.02
Dual tree decomposition
Number of clusters: 183
Number of leaves: 94
Tree depth: 12
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 227 34,173 3,231.99 735.00 591,455 MAX VALUE 1,291.67 6,398.59 1.98 5.15
Cluster variables 28 718 123.91 53.00 22,676 MAX VALUE 799.73 149.12 1.20 4.31
Separator constraints 0 28,904 2,991.09 685.00 547,370 0 None 5,934.57 1.98 5.12
Separator variables 0 649 118.85 51.00 21,750 0 None 142.29 1.20 4.30
Primal graph
Density: 39.29%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 0.48 0.43 0.43 86.06 0.00 -168.80 0.02 0.04 5.28
Degree 36 114 78.19 79.00 15,638 MAX VALUE 868.10 14.53 0.19 3.89
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 88.63%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.96 0.95 191.41 0.00 -8.82 0.02 0.02 5.09
Degree 36 194 176.37 187.00 35,274 MAX VALUE 1,027.38 34.29 0.19 2.81
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.29%
MCB compute time (ms): 2,897,010
MCB cycles: 46,421
Triangles: 450,661
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_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 319.95 0.00 -1,026.15 0.11 0.31 6.78
Degree 27 209 95.22 91.00 88,170 MAX VALUE 4,131.11 39.69 0.42 4.90
Eccentricity 2 3 2.67 3.00 2,472 MAX VALUE 893.24 0.47 0.18 0.63
MCB cycle size 3 4 3.00 3.00 139,358 MAX VALUE 51,026.00 0.05 0.02 0.01
Minimal dual graph
Density: 0.68%
MCB compute time (ms): 278,255
MCB cycles: 1,980
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.20 0.02 0.00 16.95 0.00 None 0.04 1.97 1.47
Degree 3 17 6.27 6.00 5,802 MAX VALUE 1,651.56 2.23 0.36 1.96
Eccentricity 5 7 5.83 6.00 5,394 MAX VALUE 1,629.52 0.39 0.07 0.50
MCB cycle size 3 7 5.27 5.00 10,435 MAX VALUE 3,248.15 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: 17.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.91 0.90 841.14 0.00 -91.97 0.07 0.08 4.77
Degree 3 404 158.31 22.00 146,594 MAX VALUE 3,422.32 177.33 1.12 3.97
Eccentricity 2 4 2.84 3.00 2,628 MAX VALUE 951.31 0.48 0.17 0.69
Incidence graph
Density: 0.68%
MCB compute time (ms): 209,086
MCB cycles: 3,213
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-7_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.66 5.00 8,622 MAX VALUE 1,944.99 6.95 0.91 2.62
Eccentricity 4 6 5.55 6.00 6,244 MAX VALUE 1,923.93 0.51 0.09 0.72
MCB cycle size 4 6 4.88 4.00 15,664 MAX VALUE 5,024.25 0.99 0.20 0.69