Instance: normalized-par-8-1_ext
Number of variables: 700
Number of constraints: 1456
Satisfiable: None
Timestamp: 2018-04-21 10:41:34
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 700
Number of constraints: 1456
General features
Number of coarse blocks: 5,783
Number of unique subscopes: 940
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.53 3.00 3,684 MAX VALUE 1,322.24 0.50 0.20 0.69
Coarse blocks size 1 4 1.79 1.00 10,332 MAX VALUE 2,452.03 1.07 0.60 1.13
Relational linkage 0.50 1.00 0.77 1.00 1,009.75 0.00 -402.70 0.24 0.31 0.85
Tightness 0.00 0.25 0.08 0.00 110.75 0.00 None 0.10 1.37 0.92
Tuples 1 7 2.47 1.00 3,597 MAX VALUE 869.53 2.13 0.86 1.12
Domain size 1 2 1.41 1.00 986 MAX VALUE 198.24 0.49 0.35 0.68
Constraints per subscope 2 21 4.43 4.00 4,164 MAX VALUE 1,281.21 2.35 0.53 1.82
Partitions per subscope 1 4 1.42 1.00 1,333 MAX VALUE 251.61 0.66 0.46 0.76
Tree decomposition
Number of clusters: 433
Number of leaves: 119
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 23 7.39 8.00 3,199 MAX VALUE 786.18 4.07 0.55 2.55
Cluster variables 3 54 9.86 8.00 4,268 MAX VALUE 903.36 7.43 0.75 2.84
Separator constraints 0 18 4.03 4.00 1,743 0 None 3.17 0.79 2.35
Separator variables 0 44 8.24 6.00 3,568 0 None 6.28 0.76 2.71
Dual tree decomposition
Number of clusters: 658
Number of leaves: 296
Tree depth: 22
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 452 53.29 35.00 35,062 MAX VALUE 2,278.61 59.84 1.12 3.70
Cluster variables 3 101 16.38 11.00 10,780 MAX VALUE 1,659.20 14.66 0.89 3.26
Separator constraints 0 360 39.22 25.00 25,809 0 None 46.76 1.19 3.44
Separator variables 0 74 14.17 10.00 9,324 0 None 12.17 0.86 2.99
Primal graph
Density: 1.13%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_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.49 319.74 0.00 None 0.23 0.50 2.31
Degree 2 41 7.89 8.00 5,520 MAX VALUE 1,365.62 4.28 0.54 2.13
Eccentricity 9 18 13.81 14.00 9,664 MAX VALUE 1,831.32 1.81 0.13 1.99
Triangulated primal graph
Density: 3.84%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.20 1.00 0.75 0.73 528.03 0.00 -219.34 0.18 0.23 4.61
Degree 2 199 26.84 12.00 18,788 MAX VALUE 1,892.23 32.68 1.22 3.82
Eccentricity 7 13 9.05 9.00 6,332 MAX VALUE 1,538.71 0.84 0.09 1.17
Dual graph
Density: 0.87%
MCB compute time (ms): 12,037
MCB cycles: 12,971
Triangles: 21,943
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.48 0.47 703.22 0.00 None 0.11 0.23 3.50
Degree 2 40 12.71 12.00 18,506 MAX VALUE 3,521.20 5.84 0.46 2.95
Eccentricity 10 19 14.35 14.00 20,898 MAX VALUE 3,867.38 1.76 0.12 1.96
MCB cycle size 3 15 3.45 3.00 44,689 MAX VALUE 15,757.70 0.80 0.23 0.80
Minimal dual graph
Density: 0.26%
MCB compute time (ms): 27,173
MCB cycles: 1,289
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 17.63 0.00 None 0.04 3.49 0.34
Degree 2 6 3.77 4.00 5,488 MAX VALUE 1,905.66 0.68 0.18 1.02
Eccentricity 16 28 22.20 22.00 32,324 MAX VALUE 4,503.56 2.62 0.12 2.34
MCB cycle size 3 18 5.64 5.00 7,276 MAX VALUE 2,184.87 1.61 0.28 1.67
Triangulated dual graph
Density: 4.10%
Triangles: 1,057,980
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 1.00 0.77 0.75 1,114.94 0.00 -424.31 0.16 0.21 4.76
Degree 2 313 59.68 31.00 86,900 MAX VALUE 4,996.12 65.70 1.10 4.50
Eccentricity 7 14 9.30 9.00 13,540 MAX VALUE 3,240.88 0.85 0.09 1.21
Triangulated minimal dual graph
Density: 2.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.75 0.71 1,097.80 0.00 -454.35 0.18 0.24 4.41
Degree 2 219 30.75 8.00 44,774 MAX VALUE 3,641.95 44.27 1.44 3.77
Eccentricity 10 20 13.40 13.00 19,509 MAX VALUE 3,774.39 1.04 0.08 1.37
Incidence graph
Density: 0.16%
MCB compute time (ms): 22,228
MCB cycles: 1,529
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-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 21 3.42 3.00 7,368 MAX VALUE 2,437.09 1.82 0.53 1.49
Eccentricity 19 38 28.68 29.00 61,824 MAX VALUE 7,218.47 3.55 0.12 2.60
MCB cycle size 4 30 6.24 6.00 9,548 MAX VALUE 2,748.80 1.95 0.31 0.99