Instance: rand-2-40-80-103-800-31_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:53
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 103
General features
Number of coarse blocks: 16,400
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 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 3 30 15.91 16.00 260,978 MAX VALUE 44,939.90 3.58 0.22 2.69
Relational linkage 0.04 0.26 0.15 0.15 464.43 0.00 -6,011.72 0.03 0.20 2.30
Tightness 0.79 0.81 0.80 0.80 82.51 0.00 -22.85 0.01 0.01 4.14
Tuples 1,185 1,351 1,273.00 1,272.00 131,119 MAX VALUE 736.33 33.61 0.03 4.14
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 3 11 5.26 5.00 205 8.94e+26 62.06 1.97 0.37 1.87
Partitions per subscope 80 80 80.00 80.00 3,120 MAX VALUE 170.90 0.00 0.00 0.00
Tree decomposition
Number of clusters: 29
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 12 6.03 5.00 175 1.22e+21 48.55 2.76 0.46 2.22
Cluster variables 2 12 6.45 6.00 187 2.24e+22 51.46 2.71 0.42 2.06
Separator constraints 0 9 2.48 1.00 72 0 None 2.66 1.07 1.90
Separator variables 0 11 5.07 4.00 147 0 None 2.68 0.53 2.11
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 6 67 30.89 27.50 1,174 MAX VALUE 123.72 16.89 0.55 3.28
Cluster variables 5 33 13.66 11.50 519 MAX VALUE 94.67 7.24 0.53 2.77
Separator constraints 0 45 17.42 15.00 662 0 None 11.10 0.64 3.19
Separator variables 0 25 10.95 10.00 416 0 None 5.55 0.51 2.70
Primal graph
Density: 13.21%
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 None 0.13 None None None None None 2.57
Degree 1 11 5.15 5.00 206 8.94e+26 62.06 2.06 0.40 1.94
Eccentricity 3 4 3.58 4.00 143 9.09e+21 50.56 0.49 0.14 0.68
Triangulated primal graph
Density: 27.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.80 None None None None None 2.76
Degree 1 24 10.65 8.50 426 7.17e+35 82.56 7.46 0.70 2.71
Eccentricity 2 3 2.65 3.00 106 4.16e+16 38.27 0.48 0.18 0.65
Dual graph
Density: 9.75%
MCB compute time (ms): 102
MCB cycles: 489
Triangles: 857
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.52 0.50 53.17 0.00 -69.17 0.08 0.15 3.43
Degree 4 17 9.94 10.00 1,024 MAX VALUE 232.76 2.62 0.26 2.35
Eccentricity 3 4 3.89 4.00 401 MAX VALUE 139.62 0.31 0.08 0.34
MCB cycle size 3 6 3.41 3.00 1,668 MAX VALUE 589.59 0.77 0.23 0.74
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 25
MCB cycles: 64
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 4 3.22 3.00 332 MAX VALUE 118.60 0.61 0.19 0.91
Eccentricity 6 8 6.91 7.00 712 MAX VALUE 198.73 0.61 0.09 0.92
MCB cycle size 4 9 6.69 7.00 428 MAX VALUE 120.40 1.25 0.19 1.61
Triangulated dual graph
Density: 30.97%
Triangles: 15,502
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.79 0.78 81.47 0.00 -25.50 0.13 0.16 4.01
Degree 4 63 31.59 30.00 3,254 MAX VALUE 330.52 18.78 0.59 3.70
Eccentricity 2 3 2.68 3.00 276 MAX VALUE 99.78 0.47 0.17 0.63
Triangulated minimal dual graph
Density: 11.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.74 0.67 76.71 0.00 -33.59 0.19 0.25 3.05
Degree 2 35 11.79 6.00 1,214 MAX VALUE 207.69 11.08 0.94 2.85
Eccentricity 3 5 3.91 4.00 403 MAX VALUE 139.10 0.64 0.16 0.96
Incidence graph
Density: 2.03%
MCB compute time (ms): 35
MCB cycles: 64
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.29
Degree 1 11 2.88 2.00 412 MAX VALUE 133.45 1.78 0.62 1.14
Eccentricity 7 9 7.87 8.00 1,125 MAX VALUE 294.68 0.49 0.06 0.72
MCB cycle size 6 10 7.53 8.00 482 MAX VALUE 128.19 1.36 0.18 0.99