Instance: rand-2-40-180-84-900-66_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:11
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 84
General features
Number of coarse blocks: 30,060
Number of unique subscopes: 39
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 168 1.93e+25 58.22 0.00 0.00 0.00
Coarse blocks size 4 36 18.00 18.00 541,067 MAX VALUE 86,080.40 4.06 0.23 2.82
Relational linkage 0.02 0.14 0.08 0.08 542.25 0.00 -18,123.20 0.02 0.20 2.43
Tightness 0.90 0.90 0.90 0.90 75.60 0.00 -8.85 0.00 0.00 4.19
Tuples 3,123 3,384 3,240.05 3,239.00 272,164 MAX VALUE 678.99 53.62 0.02 4.19
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 8 4.28 4.00 167 5.24e+23 54.62 1.40 0.33 1.70
Partitions per subscope 180 180 180.00 180.00 7,020 MAX VALUE 202.53 0.00 0.00 0.00
Tree decomposition
Number of clusters: 30
Number of leaves: 13
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 1 8 3.73 3.00 112 5.71e+15 36.28 1.65 0.44 1.78
Cluster variables 2 11 5.67 5.00 170 2.93e+21 49.43 2.36 0.42 2.05
Separator constraints 0 4 0.93 0.50 28 0 None 1.12 1.20 1.28
Separator variables 0 9 4.33 4.00 130 0 None 2.29 0.53 2.05
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
Tree depth: 6
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 35 16.79 14.50 638 MAX VALUE 101.39 8.93 0.53 2.83
Cluster variables 3 24 10.39 9.00 395 5.57e+36 84.61 5.22 0.50 2.41
Separator constraints 0 22 8.58 6.00 326 0 None 5.69 0.66 2.63
Separator variables 0 18 8.18 8.00 311 0 None 4.03 0.49 2.39
Primal graph
Density: 10.77%
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.33 None 0.07 None None None None None 1.74
Degree 1 8 4.20 4.00 168 5.24e+23 54.62 1.47 0.35 1.78
Eccentricity 3 5 4.28 4.00 171 1.24e+25 57.78 0.55 0.13 0.81
Triangulated primal graph
Density: 23.72%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.71 None None None None None 2.94
Degree 1 27 9.25 6.50 370 2.09e+33 76.72 6.58 0.71 2.61
Eccentricity 2 4 3.52 4.00 141 4.54e+21 49.87 0.55 0.16 0.78
Dual graph
Density: 8.95%
MCB compute time (ms): 49
MCB cycles: 232
Triangles: 353
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.48 0.47 40.71 0.00 -61.71 0.08 0.16 2.50
Degree 2 13 7.43 8.00 624 MAX VALUE 164.94 2.04 0.27 1.99
Eccentricity 3 5 4.21 4.00 354 MAX VALUE 120.40 0.44 0.10 0.60
MCB cycle size 3 6 3.28 3.00 762 MAX VALUE 271.94 0.69 0.21 0.59
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 14
MCB cycles: 45
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 5.41 0.18
Degree 2 4 3.05 3.00 256 MAX VALUE 92.14 0.55 0.18 0.83
Eccentricity 6 8 6.90 7.00 580 MAX VALUE 162.12 0.45 0.07 0.65
MCB cycle size 3 9 7.24 8.00 326 2.27e+38 88.32 1.23 0.17 1.49
Triangulated dual graph
Density: 27.19%
Triangles: 6,282
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.77 0.73 65.07 0.00 -22.75 0.14 0.18 3.88
Degree 2 45 22.57 17.50 1,896 MAX VALUE 240.46 13.87 0.61 3.28
Eccentricity 2 4 2.98 3.00 250 MAX VALUE 90.41 0.49 0.16 0.71
Triangulated minimal dual graph
Density: 11.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.75 0.67 63.33 0.00 -27.32 0.21 0.28 2.52
Degree 2 31 9.62 4.50 808 MAX VALUE 154.21 9.11 0.95 2.65
Eccentricity 3 5 3.74 4.00 314 MAX VALUE 109.80 0.56 0.15 0.83
Incidence graph
Density: 2.20%
MCB compute time (ms): 23
MCB cycles: 45
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 None 0.00 None None None None None 0.49
Degree 1 8 2.71 2.00 336 MAX VALUE 112.84 1.32 0.49 1.10
Eccentricity 7 11 9.01 9.00 1,117 MAX VALUE 271.93 0.92 0.10 1.31
MCB cycle size 6 10 8.53 8.00 384 MAX VALUE 95.61 1.60 0.19 1.04