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

Instance comments



Component #1 Number of variables: 200
Number of constraints: 924
General features
Number of coarse blocks: 28,002
Number of unique subscopes: 2,239
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 14 4.91 5.00 4,536 MAX VALUE 1,378.57 2.11 0.43 2.07
Coarse blocks size 1 8,192 109.98 31.00 3,079,810 MAX VALUE 91,651.10 439.49 4.00 2.88
Relational linkage 0.25 1.00 0.92 1.00 8,247.74 0.00 -925.32 0.15 0.16 1.23
Tightness 0.00 0.38 0.08 0.03 75.81 0.00 -3,033.50 0.09 1.08 2.05
Tuples 3 16,383 119.53 31.00 110,441 MAX VALUE 3,060.34 648.17 5.42 2.22
Domain size 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Constraints per subscope 2 38 4.04 2.00 9,055 MAX VALUE 2,202.96 6.02 1.49 1.07
Partitions per subscope 2 16 4.01 4.00 8,984 MAX VALUE 3,037.84 1.09 0.27 0.51
Tree decomposition
Number of clusters: 23
Number of leaves: 12
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 21 559 147.96 53.00 3,403 MAX VALUE 100.57 174.21 1.18 3.01
Cluster variables 47 178 98.09 76.00 2,256 MAX VALUE 103.21 44.44 0.45 2.95
Separator constraints 0 506 107.78 31.00 2,479 0 None 152.91 1.42 3.01
Separator variables 0 174 89.39 75.00 2,056 0 None 45.26 0.51 2.95
Dual tree decomposition
Number of clusters: 178
Number of leaves: 92
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 267 38,619 3,350.65 719.50 596,416 MAX VALUE 1,269.72 6,665.01 1.99 5.07
Cluster variables 31 729 121.72 54.50 21,667 MAX VALUE 780.43 142.83 1.17 4.29
Separator constraints 0 33,241 3,079.32 662.00 548,119 0 None 6,082.01 1.98 5.09
Separator variables 0 667 116.53 52.50 20,743 0 None 135.26 1.16 4.30
Primal graph
Density: 42.02%
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 0.49 0.46 0.46 91.10 0.00 -157.39 0.02 0.03 5.27
Degree 46 135 83.61 83.00 16,722 MAX VALUE 882.21 14.34 0.17 3.87
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Triangulated primal graph
Density: 89.49%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.92 1.00 0.96 0.96 191.75 0.00 -8.45 0.02 0.02 5.06
Degree 46 195 178.09 188.00 35,618 MAX VALUE 1,030.38 32.78 0.18 2.67
Eccentricity 2 2 2.00 2.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Dual graph
Density: 11.33%
MCB compute time (ms): 2,151,960
MCB cycles: 50,548
Triangles: 552,573
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 0.64 0.35 0.31 320.83 0.00 -1,016.02 0.11 0.30 6.80
Degree 30 258 104.54 103.00 96,594 MAX VALUE 4,207.68 43.30 0.41 4.97
Eccentricity 2 3 2.57 3.00 2,376 MAX VALUE 854.55 0.49 0.19 0.68
MCB cycle size 3 4 3.00 3.00 151,730 MAX VALUE 55,557.40 0.04 0.01 0.01
Minimal dual graph
Density: 0.74%
MCB compute time (ms): 162,704
MCB cycles: 2,240
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.03 0.00 27.08 0.00 None 0.05 1.70 2.09
Degree 2 37 6.83 6.00 6,308 MAX VALUE 1,687.61 3.52 0.52 2.24
Eccentricity 5 7 5.71 6.00 5,280 MAX VALUE 1,607.06 0.48 0.08 0.68
MCB cycle size 3 8 4.77 5.00 10,679 MAX VALUE 3,439.85 1.06 0.22 1.45
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: 16.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.62 1.00 0.91 0.90 838.01 0.00 -93.69 0.08 0.08 4.72
Degree 2 412 152.88 21.00 141,266 MAX VALUE 3,371.88 173.58 1.14 4.02
Eccentricity 3 4 3.53 4.00 3,264 MAX VALUE 1,156.66 0.50 0.14 0.69
Incidence graph
Density: 0.72%
MCB compute time (ms): 165,052
MCB cycles: 3,497
Dot-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-jnhExtConvert/normalized-jnh-1_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 38 8.07 5.00 9,072 MAX VALUE 1,998.85 7.32 0.91 2.67
Eccentricity 4 6 5.45 5.00 6,126 MAX VALUE 1,900.36 0.54 0.10 0.78
MCB cycle size 4 6 4.60 4.00 16,078 MAX VALUE 5,271.58 0.92 0.20 0.61