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

Instance comments



Component #1 Number of variables: 700
Number of constraints: 1464
General features
Number of coarse blocks: 5,895
Number of unique subscopes: 940
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.54 3.00 3,716 MAX VALUE 1,334.27 0.50 0.20 0.69
Coarse blocks size 1 4 1.82 1.00 10,716 MAX VALUE 2,593.49 1.09 0.60 1.15
Relational linkage 0.50 1.00 0.77 1.00 1,012.75 0.00 -420.02 0.24 0.32 0.87
Tightness 0.00 0.25 0.08 0.00 116.75 0.00 None 0.10 1.32 0.94
Tuples 1 7 2.55 1.00 3,733 MAX VALUE 918.25 2.16 0.85 1.14
Domain size 1 2 1.43 1.00 1,002 MAX VALUE 209.33 0.50 0.35 0.68
Constraints per subscope 2 23 4.46 4.00 4,196 MAX VALUE 1,285.91 2.46 0.55 1.82
Partitions per subscope 1 4 1.44 1.00 1,349 MAX VALUE 262.70 0.66 0.46 0.77
Tree decomposition
Number of clusters: 425
Number of leaves: 127
Tree depth: 23
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 21 7.49 8.00 3,182 MAX VALUE 779.77 3.99 0.53 2.55
Cluster variables 3 48 10.08 8.00 4,284 MAX VALUE 899.77 7.31 0.73 2.85
Separator constraints 0 16 4.04 4.00 1,718 0 None 3.12 0.77 2.35
Separator variables 0 40 8.43 6.00 3,584 0 None 6.22 0.74 2.73
Dual tree decomposition
Number of clusters: 656
Number of leaves: 304
Tree depth: 20
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 438 55.84 35.00 36,633 MAX VALUE 2,290.42 65.85 1.18 3.70
Cluster variables 3 101 16.71 11.00 10,960 MAX VALUE 1,666.87 15.07 0.90 3.23
Separator constraints 0 344 41.17 25.00 27,008 0 None 50.90 1.24 3.47
Separator variables 0 74 14.48 10.00 9,496 0 None 12.58 0.87 2.98
Primal graph
Density: 1.14%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-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.49 319.29 0.00 None 0.23 0.50 2.34
Degree 2 45 8.00 8.00 5,600 MAX VALUE 1,373.66 4.59 0.57 2.14
Eccentricity 10 17 13.83 14.00 9,680 MAX VALUE 1,833.58 1.65 0.12 1.88
Triangulated primal graph
Density: 3.78%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 0.76 0.75 530.78 0.00 -216.42 0.18 0.23 4.48
Degree 2 223 26.44 12.00 18,508 MAX VALUE 1,896.01 32.70 1.24 3.77
Eccentricity 5 10 7.03 7.00 4,921 MAX VALUE 1,360.70 0.80 0.11 1.16
Dual graph
Density: 0.90%
MCB compute time (ms): 12,818
MCB cycles: 14,251
Triangles: 24,823
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.49 0.47 713.54 0.00 None 0.11 0.23 3.55
Degree 2 44 13.15 12.00 19,250 MAX VALUE 3,577.12 6.41 0.49 2.98
Eccentricity 11 18 14.36 14.00 21,023 MAX VALUE 3,891.14 1.62 0.11 1.87
MCB cycle size 3 16 3.48 3.00 49,541 MAX VALUE 17,443.80 0.81 0.23 0.86
Minimal dual graph
Density: 0.26%
MCB compute time (ms): 26,869
MCB cycles: 1,313
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 20.70 0.00 None 0.05 3.23 0.40
Degree 2 6 3.79 4.00 5,552 MAX VALUE 1,924.65 0.69 0.18 1.04
Eccentricity 16 28 21.98 22.00 32,172 MAX VALUE 4,513.66 2.56 0.12 2.31
MCB cycle size 3 22 5.66 5.00 7,427 MAX VALUE 2,226.16 1.68 0.30 1.69
Triangulated dual graph
Density: 4.18%
Triangles: 1,103,080
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.77 0.76 1,122.89 0.00 -424.48 0.17 0.22 4.77
Degree 2 295 61.10 31.00 89,456 MAX VALUE 5,068.76 66.56 1.09 4.51
Eccentricity 6 11 7.73 8.00 11,314 MAX VALUE 2,986.24 0.78 0.10 1.16
Triangulated minimal dual graph
Density: 2.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.76 0.72 1,118.56 0.00 -435.24 0.18 0.23 4.46
Degree 2 233 36.01 8.00 52,722 MAX VALUE 3,741.60 55.25 1.53 3.84
Eccentricity 8 15 10.62 11.00 15,543 MAX VALUE 3,453.43 0.90 0.08 1.29
Incidence graph
Density: 0.16%
MCB compute time (ms): 21,676
MCB cycles: 1,553
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-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 23 3.43 3.00 7,432 MAX VALUE 2,453.83 1.89 0.55 1.48
Eccentricity 21 36 28.70 29.00 62,106 MAX VALUE 7,249.91 3.26 0.11 2.50
MCB cycle size 4 32 6.25 6.00 9,708 MAX VALUE 2,791.91 2.06 0.33 0.98