Instance: normalized-par-8-1-c_ext
Number of variables: 128
Number of constraints: 288
Satisfiable: None
Timestamp: 2018-04-21 10:42:04
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 128
Number of constraints: 288
General features
Number of coarse blocks: 1,728
Number of unique subscopes: 136
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.78 3.00 800 MAX VALUE 290.45 0.42 0.15 0.53
Coarse blocks size 1 4 3.02 3.00 5,222 MAX VALUE 1,792.16 0.95 0.31 1.25
Relational linkage 0.50 1.00 0.61 0.50 176.75 0.00 -149.34 0.16 0.26 0.86
Tightness 0.12 0.25 0.17 0.12 47.75 0.00 -533.72 0.06 0.35 0.63
Tuples 3 7 6.01 7.00 1,730 MAX VALUE 501.57 1.64 0.27 0.84
Domain size 2 2 2.00 2.00 256 MAX VALUE 88.72 0.00 0.00 0.00
Constraints per subscope 3 21 6.12 5.00 832 MAX VALUE 233.48 3.55 0.58 0.83
Partitions per subscope 2 4 2.12 2.00 288 MAX VALUE 99.81 0.47 0.22 0.22
Tree decomposition
Number of clusters: 55
Number of leaves: 24
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 13 10.40 10.00 572 MAX VALUE 127.19 2.42 0.23 1.50
Cluster variables 6 20 12.65 12.00 696 MAX VALUE 137.72 3.39 0.27 1.69
Separator constraints 0 9 5.16 5.00 284 0 None 1.77 0.34 1.73
Separator variables 0 18 10.33 10.00 568 0 None 3.53 0.34 1.73
Dual tree decomposition
Number of clusters: 98
Number of leaves: 58
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 616 104.03 28.00 10,195 MAX VALUE 396.10 135.03 1.30 2.12
Cluster variables 5 72 20.02 9.00 1,962 MAX VALUE 266.44 17.10 0.85 1.95
Separator constraints 0 494 74.56 20.00 7,307 0 None 104.84 1.41 2.11
Separator variables 0 60 17.08 8.00 1,674 0 None 14.69 0.86 1.85
Primal graph
Density: 8.76%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 1.00 0.56 0.56 71.09 0.00 -80.57 0.14 0.25 1.29
Degree 5 33 11.12 9.00 1,424 MAX VALUE 296.63 6.27 0.56 0.65
Eccentricity 3 5 4.31 4.00 552 MAX VALUE 186.11 0.53 0.12 0.77
Triangulated primal graph
Density: 16.98%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.28 1.00 0.80 0.85 102.64 0.00 -34.44 0.21 0.27 2.49
Degree 5 77 21.56 13.00 2,760 MAX VALUE 359.74 18.10 0.84 2.38
Eccentricity 2 4 3.11 3.00 398 MAX VALUE 143.71 0.47 0.15 0.68
Dual graph
Density: 6.99%
MCB compute time (ms): 1,159
MCB cycles: 5,395
Triangles: 11,312
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.53 0.50 151.50 0.00 -190.96 0.11 0.21 2.76
Degree 4 40 20.06 20.00 5,776 MAX VALUE 826.50 9.57 0.48 2.22
Eccentricity 4 6 4.74 5.00 1,364 MAX VALUE 445.50 0.61 0.13 0.91
MCB cycle size 3 8 3.36 3.00 18,146 MAX VALUE 6,461.50 0.64 0.19 0.79
Minimal dual graph
Density: 1.57%
MCB compute time (ms): 969
MCB cycles: 361
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.10 0.10 29.81 0.00 None 0.11 1.06 1.66
Degree 3 7 4.50 4.00 1,296 MAX VALUE 429.28 0.75 0.17 1.09
Eccentricity 6 9 7.59 8.00 2,186 MAX VALUE 582.80 0.62 0.08 0.91
MCB cycle size 3 9 4.91 5.00 1,771 MAX VALUE 558.73 1.41 0.29 1.66
Triangulated dual graph
Density: 21.66%
Triangles: 196,810
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.80 0.81 230.47 0.00 -68.45 0.14 0.17 3.70
Degree 4 139 62.17 50.00 17,904 MAX VALUE 1,066.27 47.34 0.76 3.45
Eccentricity 3 5 3.70 4.00 1,066 MAX VALUE 373.42 0.57 0.15 0.85
Triangulated minimal dual graph
Density: 10.70%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.81 0.76 232.12 0.00 -67.45 0.15 0.19 3.86
Degree 3 109 30.71 10.00 8,844 MAX VALUE 777.05 33.85 1.10 3.51
Eccentricity 3 5 3.94 4.00 1,136 MAX VALUE 392.00 0.58 0.15 0.87
Incidence graph
Density: 0.93%
MCB compute time (ms): 710
MCB cycles: 386
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-1-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 21 3.85 3.00 1,600 MAX VALUE 512.85 2.59 0.67 1.15
Eccentricity 7 12 9.52 10.00 3,960 MAX VALUE 934.19 1.18 0.12 1.48
MCB cycle size 4 12 6.11 6.00 2,358 MAX VALUE 693.53 1.08 0.18 0.56