Instance: normalized-par-16-4-c_ext
Number of variables: 648
Number of constraints: 1556
Satisfiable: None
Timestamp: 2018-04-21 10:40:37
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 648
Number of constraints: 1556
General features
Number of coarse blocks: 9,740
Number of unique subscopes: 769
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.75 3.00 4,282 MAX VALUE 1,552.93 0.43 0.16 0.56
Coarse blocks size 1 4 2.95 3.00 28,764 MAX VALUE 9,802.57 0.99 0.33 1.29
Relational linkage 0.50 1.00 0.67 0.50 1,195.50 0.00 -781.08 0.20 0.29 1.02
Tightness 0.12 0.25 0.16 0.12 250.25 0.00 -2,926.47 0.06 0.35 0.60
Tuples 3 7 5.97 7.00 9,288 MAX VALUE 2,691.53 1.72 0.29 0.71
Domain size 2 2 2.00 2.00 1,296 MAX VALUE 449.16 0.00 0.00 0.00
Constraints per subscope 2 41 5.95 5.00 4,576 MAX VALUE 1,230.95 5.70 0.96 1.24
Partitions per subscope 2 4 2.31 2.00 1,780 MAX VALUE 616.90 0.73 0.31 0.44
Tree decomposition
Number of clusters: 323
Number of leaves: 117
Tree depth: 16
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 21 11.46 11.00 3,700 MAX VALUE 777.08 2.95 0.26 2.13
Cluster variables 6 42 14.61 12.00 4,718 MAX VALUE 832.41 7.84 0.54 2.32
Separator constraints 0 19 6.64 6.00 2,144 0 None 3.71 0.56 2.09
Separator variables 0 38 12.60 10.00 4,070 0 None 7.42 0.59 2.49
Dual tree decomposition
Number of clusters: 556
Number of leaves: 309
Tree depth: 31
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 2,218 249.97 39.00 138,981 MAX VALUE 2,437.43 422.54 1.69 3.19
Cluster variables 5 160 31.14 12.00 17,312 MAX VALUE 1,634.41 37.15 1.19 2.60
Separator constraints 0 1,830 208.15 29.00 115,729 0 None 363.48 1.75 3.11
Separator variables 0 128 28.34 10.00 15,756 0 None 34.25 1.21 2.54
Primal graph
Density: 1.78%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.06 1.00 0.53 0.56 343.47 0.00 -443.50 0.12 0.23 1.76
Degree 5 81 11.49 9.00 7,446 MAX VALUE 1,484.79 11.06 0.96 1.29
Eccentricity 5 8 6.60 7.00 4,277 MAX VALUE 1,217.60 0.83 0.13 1.22
Triangulated primal graph
Density: 4.54%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 1.00 0.82 0.85 528.89 0.00 -160.51 0.19 0.24 3.38
Degree 5 223 29.38 15.00 19,040 MAX VALUE 1,888.27 41.21 1.40 3.14
Eccentricity 3 5 4.09 4.00 2,650 MAX VALUE 907.78 0.50 0.12 0.73
Dual graph
Density: 1.92%
MCB compute time (ms): 752,263
MCB cycles: 31,838
Triangles: 191,823
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.59 0.64 925.75 0.00 -838.30 0.11 0.19 3.47
Degree 4 80 29.89 36.00 46,504 MAX VALUE 4,912.72 18.62 0.62 3.01
Eccentricity 5 9 7.13 7.00 11,102 MAX VALUE 3,045.81 0.87 0.12 1.27
MCB cycle size 3 7 3.12 3.00 99,433 MAX VALUE 36,057.70 0.39 0.13 0.38
Minimal dual graph
Density: 0.29%
MCB compute time (ms): 115,836
MCB cycles: 1,906
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.06 0.00 86.89 0.00 None 0.07 1.32 1.26
Degree 3 7 4.45 4.00 6,922 MAX VALUE 2,297.48 0.78 0.17 1.16
Eccentricity 10 17 13.54 14.00 21,070 MAX VALUE 4,047.89 1.24 0.09 1.62
MCB cycle size 3 11 5.07 5.00 9,656 MAX VALUE 3,004.85 1.59 0.31 1.77
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: 4.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.81 0.77 1,259.67 0.00 -356.50 0.15 0.19 4.61
Degree 3 365 67.01 12.00 104,268 MAX VALUE 4,611.24 99.58 1.49 4.16
Eccentricity 3 6 4.69 5.00 7,305 MAX VALUE 2,395.89 0.53 0.11 0.79
Incidence graph
Density: 0.18%
MCB compute time (ms): 163,378
MCB cycles: 2,081
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-4-c_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 41 3.89 3.00 8,564 MAX VALUE 2,684.89 3.70 0.95 1.27
Eccentricity 10 18 14.25 14.00 31,406 MAX VALUE 5,839.15 1.72 0.12 1.86
MCB cycle size 4 14 6.12 6.00 12,730 MAX VALUE 3,738.96 1.08 0.18 0.70