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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 925
General features
Number of coarse blocks: 22,894
Number of unique subscopes: 1,781
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.67 4.00 4,319 MAX VALUE 1,333.64 2.02 0.43 2.02
Coarse blocks size 1 1,024 52.33 16.00 1,198,120 MAX VALUE 70,135.60 86.97 1.66 2.78
Relational linkage 0.25 1.00 0.92 1.00 6,443.24 0.00 -730.99 0.15 0.17 1.20
Tightness 0.00 0.38 0.09 0.06 81.00 0.00 -2,913.59 0.09 1.01 2.00
Tuples 3 2,047 73.60 15.00 68,077 MAX VALUE 2,904.28 160.45 2.18 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 33 4.34 2.00 7,735 MAX VALUE 1,805.05 6.31 1.45 1.08
Partitions per subscope 2 8 3.94 4.00 7,020 MAX VALUE 2,381.65 1.05 0.27 0.52
Tree decomposition
Number of clusters: 26
Number of leaves: 12
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 18 538 196.15 76.00 5,100 MAX VALUE 118.69 205.24 1.05 3.15
Cluster variables 41 174 104.77 94.00 2,724 MAX VALUE 117.50 51.05 0.49 2.94
Separator constraints 0 518 160.58 43.00 4,175 0 None 195.67 1.22 3.15
Separator variables 0 173 97.08 81.50 2,524 0 None 52.78 0.54 3.04
Dual tree decomposition
Number of clusters: 184
Number of leaves: 92
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 259 33,809 2,943.33 730.50 541,572 MAX VALUE 1,292.72 5,889.22 2.00 5.15
Cluster variables 30 708 117.23 57.00 21,570 MAX VALUE 799.79 138.56 1.18 4.25
Separator constraints 0 31,513 2,703.47 678.50 497,438 0 None 5,367.13 1.99 5.14
Separator variables 0 678 112.20 54.00 20,645 0 None 131.01 1.17 4.24
Primal graph
Density: 39.71%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.39 0.49 0.43 0.43 86.86 0.00 -166.93 0.02 0.04 5.28
Degree 40 115 79.02 79.00 15,804 MAX VALUE 870.26 14.58 0.18 3.83
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 89.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.92 1.00 0.96 0.96 191.99 0.00 -8.20 0.02 0.02 5.07
Degree 40 194 177.48 188.00 35,496 MAX VALUE 1,028.81 33.78 0.19 2.77
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.33%
MCB compute time (ms): 94,554
MCB cycles: 48,986
Triangles: 453,908
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.61 0.35 0.31 320.92 0.00 -1,021.76 0.11 0.32 6.78
Degree 29 222 95.42 92.00 88,268 MAX VALUE 4,126.51 40.32 0.42 4.92
Eccentricity 2 3 2.67 3.00 2,471 MAX VALUE 892.96 0.47 0.18 0.63
MCB cycle size 3 4 3.00 3.00 147,141 MAX VALUE 53,869.30 0.06 0.02 0.02
Minimal dual graph
Density: 0.68%
MCB compute time (ms): 155,651
MCB cycles: 1,998
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.21 0.02 0.00 15.51 0.00 None 0.03 2.03 1.42
Degree 2 20 6.30 6.00 5,832 MAX VALUE 1,652.10 2.35 0.37 1.97
Eccentricity 5 7 5.82 6.00 5,384 MAX VALUE 1,627.06 0.39 0.07 0.49
MCB cycle size 3 8 5.24 5.00 10,466 MAX VALUE 3,265.34 1.03 0.20 1.40
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.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.91 0.91 842.45 0.00 -89.46 0.07 0.08 4.73
Degree 2 412 161.33 22.00 149,234 MAX VALUE 3,431.13 179.68 1.11 3.94
Eccentricity 2 4 3.30 3.00 3,055 MAX VALUE 1,092.88 0.53 0.16 0.78
Incidence graph
Density: 0.68%
MCB compute time (ms): 148,258
MCB cycles: 3,244
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-12_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.68 5.00 8,638 MAX VALUE 1,944.13 6.96 0.91 2.62
Eccentricity 4 6 5.55 6.00 6,243 MAX VALUE 1,923.17 0.50 0.09 0.70
MCB cycle size 4 6 4.87 4.00 15,792 MAX VALUE 5,068.03 0.99 0.20 0.68