Instance: normalized-jnh-17_ext
Number of variables: 200
Number of constraints: 923
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: 923
General features
Number of coarse blocks: 22,466
Number of unique subscopes: 1,738
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.63 5.00 4,277 MAX VALUE 1,324.27 2.00 0.43 2.00
Coarse blocks size 1 1,024 49.23 16.00 1,106,000 MAX VALUE 67,731.00 80.82 1.64 2.78
Relational linkage 0.50 1.00 0.91 1.00 6,263.27 0.00 -745.61 0.16 0.17 1.20
Tightness 0.00 0.25 0.09 0.06 82.25 0.00 -2,879.33 0.09 1.00 1.98
Tuples 3 2,047 69.87 24.00 64,491 MAX VALUE 2,873.76 150.04 2.15 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.38 2.00 7,605 MAX VALUE 1,772.13 6.32 1.44 1.09
Partitions per subscope 2 8 3.94 4.00 6,852 MAX VALUE 2,322.74 1.07 0.27 0.53
Tree decomposition
Number of clusters: 27
Number of leaves: 13
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 16 541 141.52 45.00 3,821 MAX VALUE 115.50 164.98 1.17 3.00
Cluster variables 37 174 94.96 73.00 2,564 MAX VALUE 119.74 45.35 0.48 3.14
Separator constraints 0 489 107.33 25.00 2,898 0 None 146.42 1.36 3.12
Separator variables 0 170 87.56 72.00 2,364 0 None 45.95 0.52 3.14
Dual tree decomposition
Number of clusters: 185
Number of leaves: 91
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 226 32,829 2,678.37 699.00 495,498 MAX VALUE 1,290.96 5,454.29 2.04 5.16
Cluster variables 29 697 112.00 57.00 20,721 MAX VALUE 799.61 130.57 1.17 4.34
Separator constraints 0 30,622 2,443.84 650.00 452,110 0 None 4,913.49 2.01 5.12
Separator variables 0 669 107.02 55.00 19,798 0 None 122.60 1.15 4.34
Primal graph
Density: 38.94%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 0.51 0.43 0.43 85.63 0.00 -169.79 0.02 0.04 5.28
Degree 36 111 77.49 78.00 15,498 MAX VALUE 866.11 14.64 0.19 3.90
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 87.51%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.90 1.00 0.95 0.95 190.63 0.00 -9.64 0.02 0.02 5.09
Degree 36 195 174.15 186.00 34,830 MAX VALUE 1,024.10 35.67 0.20 2.97
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.20%
MCB compute time (ms): 125,780
MCB cycles: 47,597
Triangles: 439,288
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_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 320.89 0.00 -1,018.45 0.11 0.32 6.78
Degree 28 214 94.02 92.00 86,776 MAX VALUE 4,104.51 39.58 0.42 4.89
Eccentricity 2 3 2.69 3.00 2,487 MAX VALUE 899.68 0.46 0.17 0.62
MCB cycle size 3 4 3.00 3.00 142,960 MAX VALUE 52,339.30 0.06 0.02 0.02
Minimal dual graph
Density: 0.67%
MCB compute time (ms): 250,233
MCB cycles: 1,952
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.20 0.02 0.00 16.68 0.00 None 0.04 2.10 1.38
Degree 2 18 6.22 6.00 5,740 MAX VALUE 1,639.91 2.23 0.36 1.91
Eccentricity 5 7 5.86 6.00 5,412 MAX VALUE 1,630.71 0.36 0.06 0.43
MCB cycle size 3 7 5.29 5.00 10,335 MAX VALUE 3,211.27 1.03 0.19 1.38
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.15%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.91 0.90 838.54 0.00 -91.61 0.07 0.08 4.77
Degree 2 405 158.09 21.00 145,916 MAX VALUE 3,411.50 177.08 1.12 3.90
Eccentricity 2 4 2.81 3.00 2,596 MAX VALUE 940.34 0.47 0.17 0.66
Incidence graph
Density: 0.68%
MCB compute time (ms): 278,772
MCB cycles: 3,197
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-17_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.62 5.00 8,554 MAX VALUE 1,932.46 6.91 0.91 2.61
Eccentricity 4 6 5.57 6.00 6,251 MAX VALUE 1,923.15 0.50 0.09 0.71
MCB cycle size 4 6 4.88 4.00 15,606 MAX VALUE 5,003.28 0.99 0.20 0.69