Instance: normalized-par-8-3_ext
Number of variables: 700
Number of constraints: 1478
Satisfiable: None
Timestamp: 2018-04-21 10:40:44
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 700
Number of constraints: 1478
General features
Number of coarse blocks: 6,031
Number of unique subscopes: 940
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.55 3.00 3,772 MAX VALUE 1,355.33 0.50 0.19 0.69
Coarse blocks size 1 4 1.87 1.00 11,268 MAX VALUE 2,799.45 1.11 0.60 1.18
Relational linkage 0.50 1.00 0.77 0.75 1,016.75 0.00 -424.62 0.24 0.31 0.90
Tightness 0.00 0.25 0.08 0.00 119.75 0.00 None 0.10 1.29 0.96
Tuples 1 7 2.65 1.00 3,911 MAX VALUE 970.53 2.23 0.84 1.15
Domain size 1 2 1.44 1.00 1,010 MAX VALUE 214.88 0.50 0.34 0.69
Constraints per subscope 2 23 4.52 4.00 4,252 MAX VALUE 1,295.85 2.57 0.57 1.83
Partitions per subscope 1 4 1.44 1.00 1,357 MAX VALUE 268.25 0.66 0.46 0.77
Tree decomposition
Number of clusters: 422
Number of leaves: 119
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 21 7.79 8.00 3,288 MAX VALUE 799.89 3.98 0.51 2.53
Cluster variables 3 51 10.46 8.00 4,416 MAX VALUE 911.11 7.62 0.73 2.87
Separator constraints 0 16 4.29 4.00 1,810 0 None 3.22 0.75 2.34
Separator variables 0 43 8.81 7.00 3,716 0 None 6.54 0.74 2.76
Dual tree decomposition
Number of clusters: 654
Number of leaves: 307
Tree depth: 22
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 501 60.33 35.00 39,458 MAX VALUE 2,329.30 74.27 1.23 3.72
Cluster variables 3 93 17.31 11.50 11,318 MAX VALUE 1,683.79 15.50 0.90 3.23
Separator constraints 0 408 44.85 25.00 29,333 0 None 58.71 1.31 3.45
Separator variables 0 65 15.05 10.00 9,840 0 None 13.05 0.87 2.98
Primal graph
Density: 1.17%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_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.49 331.04 0.00 None 0.22 0.47 2.34
Degree 2 45 8.20 8.00 5,740 MAX VALUE 1,393.24 4.88 0.59 2.12
Eccentricity 10 17 13.96 14.00 9,773 MAX VALUE 1,839.84 1.73 0.12 1.91
Triangulated primal graph
Density: 3.93%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 1.00 0.77 0.76 538.02 0.00 -205.95 0.17 0.23 4.54
Degree 2 214 27.49 12.00 19,244 MAX VALUE 1,919.30 34.83 1.27 3.82
Eccentricity 4 8 5.91 6.00 4,138 MAX VALUE 1,238.99 0.70 0.12 1.04
Dual graph
Density: 0.93%
MCB compute time (ms): 15,807
MCB cycles: 14,558
Triangles: 28,111
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.50 0.47 731.92 0.00 None 0.12 0.23 3.61
Degree 2 44 13.70 13.00 20,250 MAX VALUE 3,669.00 6.82 0.50 2.99
Eccentricity 11 18 14.51 15.00 21,452 MAX VALUE 3,943.01 1.72 0.12 1.91
MCB cycle size 3 17 3.45 3.00 50,266 MAX VALUE 17,727.80 0.79 0.23 0.83
Minimal dual graph
Density: 0.26%
MCB compute time (ms): 29,448
MCB cycles: 1,355
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 22.70 0.00 None 0.05 3.03 0.43
Degree 2 6 3.83 4.00 5,664 MAX VALUE 1,960.53 0.68 0.18 1.02
Eccentricity 17 27 22.01 22.00 32,533 MAX VALUE 4,561.85 2.20 0.10 2.17
MCB cycle size 3 22 5.65 5.00 7,662 MAX VALUE 2,298.88 1.62 0.29 1.70
Triangulated dual graph
Density: 4.22%
Triangles: 1,118,170
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 1.00 0.77 0.76 1,136.03 0.00 -425.92 0.17 0.22 4.77
Degree 2 292 62.32 35.00 92,106 MAX VALUE 5,180.15 65.59 1.05 4.53
Eccentricity 5 10 7.00 7.00 10,339 MAX VALUE 2,864.10 0.86 0.12 1.25
Triangulated minimal dual graph
Density: 2.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.34 1.00 0.77 0.72 1,134.07 0.00 -432.80 0.18 0.23 4.44
Degree 2 221 34.90 8.00 51,586 MAX VALUE 3,792.20 51.69 1.48 3.83
Eccentricity 6 12 8.31 8.00 12,276 MAX VALUE 3,120.54 0.89 0.11 1.27
Incidence graph
Density: 0.16%
MCB compute time (ms): 24,399
MCB cycles: 1,595
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3_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 23 3.46 3.00 7,544 MAX VALUE 2,484.83 1.96 0.57 1.49
Eccentricity 21 36 28.99 29.00 63,150 MAX VALUE 7,317.54 3.45 0.12 2.54
MCB cycle size 4 34 6.23 6.00 9,942 MAX VALUE 2,866.24 1.96 0.31 0.96