Instance: rand-2-40-40-135-650-50_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:46
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 135
General features
Number of coarse blocks: 10,800
Number of unique subscopes: 40
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 270 MAX VALUE 93.57 0.00 0.00 0.00
Coarse blocks size 4 26 14.02 14.00 151,364 MAX VALUE 28,254.40 2.99 0.21 2.51
Relational linkage 0.10 0.40 0.25 0.25 407.38 0.00 -2,217.80 0.05 0.18 2.04
Tightness 0.62 0.67 0.65 0.65 87.70 0.00 -58.25 0.01 0.02 3.99
Tuples 527 606 560.61 560.00 75,682 MAX VALUE 854.35 17.31 0.03 3.99
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 4 11 6.75 6.00 270 3.23e+32 74.86 1.85 0.27 1.94
Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Tree decomposition
Number of clusters: 24
Number of leaves: 15
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 22 10.54 9.00 253 8.79e+22 52.83 6.04 0.57 2.44
Cluster variables 5 17 8.75 7.00 210 4.24e+21 49.80 4.09 0.47 1.94
Separator constraints 0 20 4.92 2.50 118 0 None 5.80 1.18 2.19
Separator variables 0 16 7.08 6.00 170 0 None 3.99 0.56 2.02
Dual tree decomposition
Number of clusters: 38
Number of leaves: 16
Tree depth: 5
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 21 139 57.89 53.00 2,200 MAX VALUE 148.74 31.09 0.54 3.42
Cluster variables 9 56 20.16 16.00 766 MAX VALUE 108.78 11.86 0.59 2.99
Separator constraints 0 73 35.66 31.50 1,355 0 None 18.48 0.52 3.27
Separator variables 0 41 16.61 15.00 631 0 None 9.02 0.54 2.79
Primal graph
Density: 17.31%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.50 0.16 0.14 6.24 0.00 None 0.10 0.63 2.87
Degree 4 11 6.75 6.00 270 3.23e+32 74.86 1.85 0.27 1.94
Eccentricity 3 3 3.00 3.00 120 1.22e+19 43.94 0.00 0.00 0.00
Triangulated primal graph
Density: 39.23%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.82 0.78 32.88 0.00 -8.55 0.15 0.19 2.60
Degree 4 28 15.30 16.00 612 MAX VALUE 99.50 9.12 0.60 2.50
Eccentricity 2 3 2.42 2.00 97 1.08e+15 34.62 0.49 0.20 0.68
Dual graph
Density: 9.34%
MCB compute time (ms): 443
MCB cycles: 802
Triangles: 1,686
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.63 0.50 0.49 67.06 0.00 -94.78 0.03 0.07 3.61
Degree 8 19 12.52 12.00 1,690 MAX VALUE 338.49 2.49 0.20 2.26
Eccentricity 3 4 3.37 3.00 455 MAX VALUE 162.70 0.48 0.14 0.66
MCB cycle size 3 5 3.21 3.00 2,575 MAX VALUE 927.90 0.49 0.15 0.55
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 59
MCB cycles: 96
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 5 3.41 3.00 460 MAX VALUE 162.81 0.67 0.20 1.01
Eccentricity 6 8 6.76 7.00 913 MAX VALUE 257.64 0.52 0.08 0.76
MCB cycle size 4 9 6.84 7.00 657 MAX VALUE 183.27 1.10 0.16 1.48
Triangulated dual graph
Density: 39.15%
Triangles: 58,159
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.82 0.78 110.14 0.00 -28.59 0.11 0.13 4.30
Degree 8 93 52.46 55.00 7,082 MAX VALUE 504.41 28.53 0.54 3.83
Eccentricity 2 3 2.42 2.00 327 MAX VALUE 116.69 0.49 0.20 0.68
Triangulated minimal dual graph
Density: 12.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.79 0.70 106.50 0.00 -35.29 0.17 0.22 2.96
Degree 2 50 16.37 7.00 2,210 MAX VALUE 295.37 17.02 1.04 2.93
Eccentricity 3 4 3.64 4.00 491 MAX VALUE 173.05 0.48 0.13 0.66
Incidence graph
Density: 1.77%
MCB compute time (ms): 76
MCB cycles: 96
Dot-file path: None
PDF-file path: None
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 11 3.09 2.00 540 MAX VALUE 168.43 2.18 0.71 0.98
Eccentricity 6 8 7.16 7.00 1,253 MAX VALUE 343.82 0.62 0.09 0.93
MCB cycle size 6 8 7.12 8.00 684 MAX VALUE 187.54 0.99 0.14 0.69