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

Instance comments



Component #1 Number of variables: 700
Number of constraints: 1462
General features
Number of coarse blocks: 5,891
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,708 MAX VALUE 1,331.27 0.50 0.20 0.69
Coarse blocks size 1 4 1.81 1.00 10,668 MAX VALUE 2,574.76 1.08 0.60 1.15
Relational linkage 0.50 1.00 0.77 1.00 1,012.25 0.00 -426.37 0.24 0.32 0.87
Tightness 0.00 0.25 0.08 0.00 118.25 0.00 None 0.11 1.31 0.95
Tuples 1 7 2.55 1.00 3,723 MAX VALUE 919.25 2.15 0.84 1.14
Domain size 1 2 1.44 1.00 1,006 MAX VALUE 212.10 0.50 0.35 0.69
Constraints per subscope 2 23 4.46 4.00 4,188 MAX VALUE 1,285.31 2.42 0.54 1.83
Partitions per subscope 1 4 1.44 1.00 1,353 MAX VALUE 265.48 0.66 0.46 0.77
Tree decomposition
Number of clusters: 427
Number of leaves: 120
Tree depth: 20
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 19 7.47 8.00 3,190 MAX VALUE 790.09 3.87 0.52 2.46
Cluster variables 3 48 10.07 8.00 4,298 MAX VALUE 906.50 7.21 0.72 2.81
Separator constraints 0 15 4.05 4.00 1,728 0 None 3.00 0.74 2.31
Separator variables 0 40 8.43 6.00 3,598 0 None 6.14 0.73 2.68
Dual tree decomposition
Number of clusters: 658
Number of leaves: 306
Tree depth: 21
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 524 56.70 35.00 37,309 MAX VALUE 2,306.03 70.87 1.25 3.70
Cluster variables 3 113 16.83 11.00 11,075 MAX VALUE 1,676.17 15.37 0.91 3.25
Separator constraints 0 424 42.25 25.00 27,798 0 None 56.89 1.35 3.45
Separator variables 0 79 14.61 10.00 9,613 0 None 12.89 0.88 2.96
Primal graph
Density: 1.14%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_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 322.73 0.00 None 0.23 0.50 2.33
Degree 2 45 7.97 8.00 5,580 MAX VALUE 1,373.25 4.48 0.56 2.14
Eccentricity 10 17 13.45 13.00 9,413 MAX VALUE 1,813.05 1.75 0.13 1.94
Triangulated primal graph
Density: 3.75%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.16 1.00 0.76 0.75 535.11 0.00 -209.76 0.17 0.23 4.51
Degree 2 222 26.23 12.00 18,360 MAX VALUE 1,893.45 32.87 1.25 3.76
Eccentricity 4 8 5.95 6.00 4,165 MAX VALUE 1,243.45 0.71 0.12 1.06
Dual graph
Density: 0.89%
MCB compute time (ms): 12,664
MCB cycles: 13,369
Triangles: 24,001
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_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.46 712.50 0.00 None 0.11 0.23 3.56
Degree 2 44 13.01 12.00 19,022 MAX VALUE 3,563.17 6.23 0.48 2.95
Eccentricity 10 18 13.99 14.00 20,452 MAX VALUE 3,845.68 1.73 0.12 1.94
MCB cycle size 3 14 3.45 3.00 46,069 MAX VALUE 16,245.00 0.80 0.23 0.80
Minimal dual graph
Density: 0.26%
MCB compute time (ms): 26,394
MCB cycles: 1,308
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 20.07 0.00 None 0.05 3.30 0.38
Degree 2 6 3.79 4.00 5,536 MAX VALUE 1,920.53 0.68 0.18 1.02
Eccentricity 17 26 21.61 21.00 31,597 MAX VALUE 4,484.71 2.31 0.11 2.20
MCB cycle size 3 20 5.65 5.00 7,396 MAX VALUE 2,217.13 1.67 0.30 1.70
Triangulated dual graph
Density: 4.24%
Triangles: 1,165,950
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.77 0.75 1,123.22 0.00 -420.37 0.16 0.21 4.73
Degree 2 291 61.93 31.00 90,548 MAX VALUE 5,065.69 68.60 1.11 4.53
Eccentricity 5 10 7.40 7.00 10,816 MAX VALUE 2,915.47 0.87 0.12 1.27
Triangulated minimal dual graph
Density: 2.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.76 0.72 1,114.05 0.00 -439.18 0.18 0.24 4.43
Degree 2 241 33.65 8.00 49,202 MAX VALUE 3,705.23 50.17 1.49 3.81
Eccentricity 6 12 8.67 9.00 12,681 MAX VALUE 3,151.27 0.85 0.10 1.25
Incidence graph
Density: 0.16%
MCB compute time (ms): 21,198
MCB cycles: 1,547
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4_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,416 MAX VALUE 2,450.22 1.87 0.54 1.49
Eccentricity 20 36 27.95 28.00 60,430 MAX VALUE 7,183.30 3.47 0.12 2.57
MCB cycle size 4 28 6.25 6.00 9,674 MAX VALUE 2,782.23 1.98 0.32 0.98