Instance: normalized-par-8-5_ext
Number of variables: 700
Number of constraints: 1478
Satisfiable: None
Timestamp: 2018-04-21 10:41: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,037
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,280 MAX VALUE 2,803.61 1.11 0.59 1.18
Relational linkage 0.50 1.00 0.77 0.75 1,017.25 0.00 -426.58 0.24 0.31 0.90
Tightness 0.00 0.25 0.08 0.00 120.50 0.00 None 0.10 1.28 0.96
Tuples 1 7 2.65 1.00 3,917 MAX VALUE 973.83 2.23 0.84 1.16
Domain size 1 2 1.45 1.00 1,012 MAX VALUE 216.26 0.50 0.34 0.69
Constraints per subscope 2 29 4.52 4.00 4,252 MAX VALUE 1,295.95 2.62 0.58 1.83
Partitions per subscope 1 4 1.45 1.00 1,359 MAX VALUE 269.63 0.66 0.46 0.77
Tree decomposition
Number of clusters: 423
Number of leaves: 120
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 20 7.72 8.00 3,266 MAX VALUE 797.75 3.86 0.50 2.51
Cluster variables 3 48 10.34 8.00 4,373 MAX VALUE 911.17 7.29 0.71 2.84
Separator constraints 0 16 4.23 4.00 1,788 0 None 3.09 0.73 2.34
Separator variables 0 40 8.68 7.00 3,673 0 None 6.24 0.72 2.70
Dual tree decomposition
Number of clusters: 655
Number of leaves: 309
Tree depth: 22
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 684 63.79 35.00 41,780 MAX VALUE 2,336.28 88.62 1.39 3.73
Cluster variables 3 113 17.53 12.00 11,479 MAX VALUE 1,689.53 16.10 0.92 3.26
Separator constraints 0 662 48.17 25.00 31,553 0 None 72.81 1.51 3.45
Separator variables 0 79 15.27 10.00 10,001 0 None 13.58 0.89 2.99
Primal graph
Density: 1.17%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_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 330.89 0.00 None 0.23 0.48 2.35
Degree 2 57 8.20 8.00 5,740 MAX VALUE 1,393.30 5.00 0.61 2.12
Eccentricity 10 18 14.23 14.00 9,964 MAX VALUE 1,854.81 1.54 0.11 1.83
Triangulated primal graph
Density: 3.81%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.15 1.00 0.77 0.75 536.94 0.00 -208.21 0.18 0.23 4.53
Degree 2 245 26.65 12.00 18,652 MAX VALUE 1,911.89 33.67 1.26 3.77
Eccentricity 5 9 6.94 7.00 4,859 MAX VALUE 1,352.45 0.73 0.11 1.07
Dual graph
Density: 0.94%
MCB compute time (ms): 11,359
MCB cycles: 14,932
Triangles: 30,237
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_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 733.21 0.00 None 0.12 0.24 3.58
Degree 2 56 13.84 13.00 20,454 MAX VALUE 3,674.40 7.26 0.52 3.01
Eccentricity 11 19 14.78 15.00 21,849 MAX VALUE 3,972.80 1.54 0.10 1.83
MCB cycle size 3 16 3.46 3.00 51,621 MAX VALUE 18,207.60 0.78 0.23 0.84
Minimal dual graph
Density: 0.26%
MCB compute time (ms): 30,733
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.30 0.00 None 0.05 3.08 0.43
Degree 2 6 3.83 4.00 5,664 MAX VALUE 1,960.17 0.68 0.18 1.03
Eccentricity 17 27 22.18 22.00 32,781 MAX VALUE 4,572.25 2.34 0.11 2.22
MCB cycle size 3 21 5.63 5.00 7,627 MAX VALUE 2,291.40 1.65 0.29 1.70
Triangulated dual graph
Density: 4.40%
Triangles: 1,262,360
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.34 1.00 0.77 0.75 1,139.20 0.00 -420.35 0.16 0.21 4.75
Degree 2 321 64.94 35.00 95,978 MAX VALUE 5,208.34 69.92 1.08 4.53
Eccentricity 6 11 7.88 8.00 11,654 MAX VALUE 3,043.06 0.86 0.11 1.27
Triangulated minimal dual graph
Density: 2.45%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.77 0.73 1,135.28 0.00 -430.67 0.18 0.23 4.45
Degree 2 241 36.20 8.00 53,510 MAX VALUE 3,808.05 54.34 1.50 3.86
Eccentricity 7 14 9.84 10.00 14,539 MAX VALUE 3,374.38 0.78 0.08 1.13
Incidence graph
Density: 0.16%
MCB compute time (ms): 21,826
MCB cycles: 1,595
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5_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 29 3.46 3.00 7,544 MAX VALUE 2,484.93 1.98 0.57 1.49
Eccentricity 21 38 29.53 30.00 64,326 MAX VALUE 7,361.73 3.08 0.10 2.46
MCB cycle size 4 32 6.23 6.00 9,936 MAX VALUE 2,865.55 1.98 0.32 0.96