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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 876
General features
Number of coarse blocks: 20,692
Number of unique subscopes: 1,608
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 4.62 4.00 4,049 MAX VALUE 1,252.31 2.03 0.44 2.01
Coarse blocks size 1 1,024 54.38 16.00 1,125,300 MAX VALUE 63,051.50 97.41 1.79 2.81
Relational linkage 0.25 1.00 0.91 1.00 5,734.57 0.00 -690.22 0.16 0.17 1.22
Tightness 0.00 0.38 0.09 0.06 79.12 0.00 -2,725.74 0.09 0.99 1.99
Tuples 3 2,047 73.72 15.00 64,576 MAX VALUE 2,719.07 173.53 2.35 2.13
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.40 2.00 7,076 MAX VALUE 1,655.44 6.16 1.40 1.11
Partitions per subscope 2 16 3.90 4.00 6,275 MAX VALUE 2,131.83 1.07 0.28 0.54
Tree decomposition
Number of clusters: 28
Number of leaves: 14
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 492 133.79 41.50 3,746 MAX VALUE 117.93 152.32 1.14 3.16
Cluster variables 37 173 92.39 72.50 2,587 MAX VALUE 122.89 47.27 0.51 3.13
Separator constraints 0 450 102.50 21.00 2,870 0 None 137.38 1.34 3.13
Separator variables 0 169 85.25 65.00 2,387 0 None 47.57 0.56 3.13
Dual tree decomposition
Number of clusters: 185
Number of leaves: 90
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 181 28,801 2,611.98 645.00 483,216 MAX VALUE 1,278.76 5,040.20 1.93 5.16
Cluster variables 26 655 111.43 52.00 20,614 MAX VALUE 794.30 129.43 1.16 4.30
Separator constraints 0 26,429 2,402.11 598.00 444,391 0 None 4,589.26 1.91 5.14
Separator variables 0 617 106.69 51.00 19,738 0 None 122.56 1.15 4.29
Primal graph
Density: 37.44%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 0.50 0.42 0.42 83.34 0.00 -175.26 0.02 0.04 5.25
Degree 36 108 74.50 75.00 14,900 MAX VALUE 857.79 14.87 0.20 3.91
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 86.76%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.91 1.00 0.95 0.95 190.60 0.00 -9.68 0.02 0.02 5.07
Degree 36 192 172.65 185.00 34,530 MAX VALUE 1,021.25 37.12 0.22 2.84
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 10.13%
MCB compute time (ms): 78,385
MCB cycles: 45,606
Triangles: 372,267
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 0.61 0.35 0.32 306.10 0.00 -962.77 0.11 0.32 6.75
Degree 25 201 88.64 86.00 77,650 MAX VALUE 3,840.27 38.19 0.43 4.86
Eccentricity 2 3 2.72 3.00 2,385 MAX VALUE 863.86 0.45 0.16 0.59
MCB cycle size 3 4 3.01 3.00 137,092 MAX VALUE 50,182.10 0.08 0.03 0.04
Minimal dual graph
Density: 0.71%
MCB compute time (ms): 132,288
MCB cycles: 1,863
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.29 0.02 0.00 16.67 0.00 None 0.04 2.02 1.41
Degree 3 20 6.24 6.00 5,466 MAX VALUE 1,561.44 2.19 0.35 1.90
Eccentricity 5 7 5.77 6.00 5,054 MAX VALUE 1,532.67 0.43 0.07 0.57
MCB cycle size 3 7 5.29 5.00 9,861 MAX VALUE 3,063.13 1.04 0.20 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.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.91 0.91 799.18 0.00 -83.34 0.07 0.08 4.67
Degree 3 392 155.94 22.00 136,600 MAX VALUE 3,244.19 172.09 1.10 3.94
Eccentricity 2 4 3.20 3.00 2,804 MAX VALUE 1,009.01 0.49 0.15 0.70
Incidence graph
Density: 0.70%
MCB compute time (ms): 116,730
MCB cycles: 3,034
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-213_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.53 5.00 8,098 MAX VALUE 1,849.43 6.60 0.88 2.63
Eccentricity 4 6 5.59 6.00 6,012 MAX VALUE 1,846.94 0.49 0.09 0.68
MCB cycle size 4 6 4.93 4.00 14,956 MAX VALUE 4,777.72 1.00 0.20 0.69