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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 875
General features
Number of coarse blocks: 20,566
Number of unique subscopes: 1,583
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.63 5.00 4,053 MAX VALUE 1,253.75 2.01 0.43 2.01
Coarse blocks size 1 1,024 50.43 16.00 1,037,180 MAX VALUE 62,323.90 83.01 1.65 2.79
Relational linkage 0.50 1.00 0.91 1.00 5,663.71 0.00 -690.14 0.16 0.17 1.21
Tightness 0.00 0.25 0.09 0.06 78.47 0.00 -2,728.92 0.09 1.00 1.98
Tuples 3 2,047 70.57 31.00 61,753 MAX VALUE 2,722.60 152.43 2.16 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 32 4.44 2.00 7,030 MAX VALUE 1,637.84 6.21 1.40 1.12
Partitions per subscope 2 8 3.92 4.00 6,208 MAX VALUE 2,103.70 1.09 0.28 0.55
Tree decomposition
Number of clusters: 27
Number of leaves: 12
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 14 510 136.19 63.00 3,677 MAX VALUE 114.49 152.78 1.12 3.17
Cluster variables 36 174 93.37 85.00 2,521 MAX VALUE 118.96 46.39 0.50 3.30
Separator constraints 0 459 103.78 21.00 2,802 0 None 135.73 1.31 3.07
Separator variables 0 170 85.96 68.00 2,321 0 None 46.76 0.54 3.30
Dual tree decomposition
Number of clusters: 186
Number of leaves: 92
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 197 29,095 2,571.96 629.00 478,385 MAX VALUE 1,285.26 5,008.12 1.95 5.08
Cluster variables 27 656 110.75 53.50 20,599 MAX VALUE 798.42 127.97 1.16 4.32
Separator constraints 0 26,951 2,362.61 584.00 439,446 0 None 4,552.88 1.93 5.11
Separator variables 0 624 106.04 52.00 19,724 0 None 121.04 1.14 4.32
Primal graph
Density: 37.48%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.36 0.50 0.42 0.41 83.37 0.00 -175.18 0.02 0.04 5.28
Degree 35 104 74.59 75.50 14,918 MAX VALUE 858.16 14.66 0.20 3.88
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.92 1.00 0.95 0.95 190.75 0.00 -9.51 0.02 0.02 5.11
Degree 35 192 173.72 185.50 34,744 MAX VALUE 1,023.08 36.25 0.21 2.92
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.18%
MCB compute time (ms): 76,391
MCB cycles: 42,894
Triangles: 373,693
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_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.31 305.04 0.00 -963.77 0.11 0.32 6.71
Degree 26 204 89.00 87.00 77,878 MAX VALUE 3,841.41 37.81 0.42 4.84
Eccentricity 2 3 2.74 3.00 2,394 MAX VALUE 867.62 0.44 0.16 0.58
MCB cycle size 3 4 3.00 3.00 128,851 MAX VALUE 47,172.50 0.06 0.02 0.03
Minimal dual graph
Density: 0.71%
MCB compute time (ms): 119,456
MCB cycles: 1,850
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.24 0.02 0.00 13.16 0.00 None 0.03 2.23 1.24
Degree 2 18 6.21 6.00 5,436 MAX VALUE 1,558.21 2.10 0.34 1.88
Eccentricity 5 6 5.80 6.00 5,072 MAX VALUE 1,535.34 0.40 0.07 0.51
MCB cycle size 3 7 5.35 6.00 9,904 MAX VALUE 3,067.69 0.98 0.18 1.33
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: 18.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.91 0.91 797.55 0.00 -83.87 0.07 0.08 4.72
Degree 2 396 157.86 22.00 138,128 MAX VALUE 3,256.54 173.09 1.10 3.87
Eccentricity 2 4 3.37 3.00 2,948 MAX VALUE 1,053.03 0.51 0.15 0.72
Incidence graph
Density: 0.70%
MCB compute time (ms): 127,136
MCB cycles: 3,020
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-218_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,106 MAX VALUE 1,851.07 6.60 0.88 2.62
Eccentricity 4 6 5.60 6.00 6,017 MAX VALUE 1,847.11 0.49 0.09 0.69
MCB cycle size 4 6 4.94 4.00 14,918 MAX VALUE 4,761.96 1.00 0.20 0.69