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

Instance comments



Component #1 Number of variables: 6352
Number of constraints: 13288
General features
Number of coarse blocks: 77,230
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,616 MAX VALUE 12,065.00 0.50 0.20 0.69
Coarse blocks size 1 4 2.60 3.00 201,104 MAX VALUE 65,648.50 1.08 0.41 1.38
Relational linkage 0.50 1.00 0.64 0.50 11,354.00 0.00 -8,764.22 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 66,908 MAX VALUE 20,216.30 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.72 4.00 36,304 MAX VALUE 10,657.50 5.78 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: 4,001
Number of leaves: 1,295
Tree depth: 35
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 57 7.80 8.00 31,188 MAX VALUE 7,313.75 5.95 0.76 2.59
Cluster variables 3 114 10.98 8.00 43,913 MAX VALUE 8,559.03 11.81 1.08 2.73
Separator constraints 0 56 4.47 4.00 17,900 0 None 5.58 1.25 2.39
Separator variables 0 112 9.39 6.00 37,561 0 None 10.99 1.17 2.58
Dual tree decomposition
Number of clusters: 5,857
Number of leaves: 3,006
Tree depth: 95
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 5,260 295.08 28.00 1,728,300 MAX VALUE 21,081.50 813.29 2.76 3.63
Cluster variables 3 320 26.90 10.00 157,581 MAX VALUE 15,146.80 48.95 1.82 3.17
Separator constraints 0 4,928 262.06 20.00 1,534,860 0 None 737.22 2.81 3.48
Separator variables 0 256 24.64 8.00 144,293 0 None 46.09 1.87 2.79
Primal graph
Density: 0.13%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.46 0.56 2,935.49 0.00 None 0.24 0.52 1.97
Degree 2 161 8.19 6.00 52,048 MAX VALUE 12,018.30 12.53 1.53 1.84
Eccentricity 22 42 32.87 34.00 208,804 MAX VALUE 22,072.60 6.00 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.08 1.00 0.78 0.77 4,931.95 0.00 -1,807.24 0.17 0.22 4.54
Degree 2 857 31.23 11.00 198,372 MAX VALUE 16,855.20 69.95 2.24 3.71
Eccentricity 7 14 9.18 9.00 58,330 MAX VALUE 14,067.00 0.70 0.08 1.00
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-2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_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 235.70 0.00 None 0.05 2.69 0.49
Degree 2 6 3.90 4.00 51,840 MAX VALUE 17,780.50 0.80 0.20 1.18
Eccentricity 32 62 47.72 48.00 634,055 MAX VALUE 51,173.00 7.88 0.17 3.35
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.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.30 1.00 0.78 0.75 10,324.10 0.00 -3,708.83 0.17 0.22 5.11
Degree 2 1,422 108.98 8.50 1,448,080 MAX VALUE 37,372.40 225.69 2.07 4.28
Eccentricity 11 22 14.87 15.00 197,545 MAX VALUE 35,831.90 1.06 0.07 1.46
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2_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.42 3.00 67,232 MAX VALUE 21,790.90 3.79 1.11 1.45
Eccentricity 44 86 67.24 70.00 1,320,570 MAX VALUE 82,320.80 11.91 0.18 3.65
MCB cycle size None None None None None None None None None None