Instance: normalized-par-32-1_ext
Number of variables: 6352
Number of constraints: 13312
Satisfiable: None
Timestamp: 2018-04-21 10:41:02
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 6352
Number of constraints: 13312
General features
Number of coarse blocks: 77,412
Number of unique subscopes: 7,696
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.53 3.00 33,712 MAX VALUE 12,101.10 0.50 0.20 0.69
Coarse blocks size 1 4 2.61 3.00 201,808 MAX VALUE 65,914.10 1.08 0.41 1.38
Relational linkage 0.50 1.00 0.64 0.50 11,346.50 0.00 -8,776.39 0.21 0.33 0.84
Tightness 0.00 0.50 0.18 0.12 2,408.50 0.00 None 0.08 0.42 0.85
Tuples 1 7 5.04 7.00 67,122 MAX VALUE 20,276.20 2.03 0.40 0.87
Domain size 1 2 1.98 2.00 12,563 MAX VALUE 4,305.14 0.15 0.07 0.11
Constraints per subscope 2 81 4.73 4.00 36,400 MAX VALUE 10,676.70 5.84 1.23 1.79
Partitions per subscope 1 4 2.33 2.00 17,897 MAX VALUE 6,153.76 0.77 0.33 0.55
Tree decomposition
Number of clusters: 3,972
Number of leaves: 1,288
Tree depth: 34
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 53 7.88 8.00 31,299 MAX VALUE 7,370.35 5.85 0.74 2.58
Cluster variables 3 106 11.05 8.00 43,893 MAX VALUE 8,561.68 11.68 1.06 2.71
Separator constraints 0 50 4.53 4.00 17,987 0 None 5.51 1.22 2.38
Separator variables 0 100 9.45 6.00 37,541 0 None 10.86 1.15 2.55
Dual tree decomposition
Number of clusters: 5,855
Number of leaves: 3,032
Tree depth: 101
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 5,624 307.25 28.00 1,798,940 MAX VALUE 21,284.00 832.22 2.71 3.60
Cluster variables 3 328 27.54 10.00 161,220 MAX VALUE 15,232.40 50.09 1.82 3.14
Separator constraints 0 5,032 273.72 20.00 1,602,660 0 None 756.24 2.76 3.46
Separator variables 0 256 25.26 8.00 147,908 0 None 47.27 1.87 2.76
Primal graph
Density: 0.13%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.47 0.56 3,000.56 0.00 None 0.24 0.51 1.97
Degree 2 161 8.23 6.00 52,288 MAX VALUE 12,066.70 12.65 1.54 1.83
Eccentricity 22 42 32.87 34.00 208,776 MAX VALUE 22,071.60 6.01 0.18 3.02
Triangulated primal graph
Density: 0.49%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.07 1.00 0.78 0.77 4,946.59 0.00 -1,784.23 0.17 0.22 4.53
Degree 2 859 31.03 11.00 197,120 MAX VALUE 16,913.40 68.18 2.20 3.72
Eccentricity 5 10 7.18 7.00 45,608 MAX VALUE 12,497.50 0.63 0.09 0.94
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/Dual1.pdf

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
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.03%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 227.33 0.00 None 0.05 2.76 0.48
Degree 2 6 3.91 4.00 52,032 MAX VALUE 17,848.20 0.79 0.20 1.16
Eccentricity 32 62 47.84 48.00 636,878 MAX VALUE 51,293.50 8.03 0.17 3.36
MCB cycle size None None None None None None None None None None
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: 0.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.29 1.00 0.78 0.76 10,386.20 0.00 -3,647.10 0.17 0.22 5.12
Degree 2 1,539 119.59 9.00 1,592,000 MAX VALUE 37,811.30 252.02 2.11 4.32
Eccentricity 8 16 11.12 11.00 148,009 MAX VALUE 31,998.70 1.09 0.10 1.48
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-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 81 3.43 3.00 67,424 MAX VALUE 21,846.20 3.82 1.11 1.45
Eccentricity 44 86 67.26 70.00 1,322,530 MAX VALUE 82,426.40 11.91 0.18 3.65
MCB cycle size None None None None None None None None None None