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

Instance comments



Component #1 Number of variables: 38
Number of constraints: 83
General features
Number of coarse blocks: 29,700
Number of unique subscopes: 37
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 166 9.67e+24 57.53 0.00 0.00 0.00
Coarse blocks size 3 36 17.95 18.00 532,973 MAX VALUE 84,978.70 4.00 0.22 2.80
Relational linkage 0.02 0.14 0.08 0.08 509.91 0.00 -17,245.90 0.01 0.19 2.39
Tightness 0.90 0.91 0.90 0.90 74.72 0.00 -8.72 0.00 0.00 4.17
Tuples 3,074 3,343 3,230.27 3,231.00 268,112 MAX VALUE 670.65 57.47 0.02 4.17
Domain size 180 180 180.00 180.00 6,840 MAX VALUE 197.33 0.00 0.00 0.00
Constraints per subscope 2 8 4.46 4.00 165 2.77e+23 53.98 1.20 0.27 1.55
Partitions per subscope 180 180 180.00 180.00 6,660 MAX VALUE 192.14 0.00 0.00 0.00
Tree decomposition
Number of clusters: 28
Number of leaves: 11
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 1 7 4.21 4.00 118 2.92e+16 37.91 1.59 0.38 1.74
Cluster variables 2 11 6.25 6.00 175 2.21e+21 49.15 2.43 0.39 2.09
Separator constraints 0 4 1.25 1.00 35 0 None 1.24 0.99 1.43
Separator variables 0 10 4.89 4.50 137 0 None 2.44 0.50 2.16
Dual tree decomposition
Number of clusters: 36
Number of leaves: 12
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 38 17.22 16.50 620 MAX VALUE 98.69 7.66 0.44 2.91
Cluster variables 5 24 10.56 9.00 380 2.97e+35 81.68 4.73 0.45 2.44
Separator constraints 0 20 8.56 8.50 308 0 None 4.57 0.53 2.46
Separator variables 0 17 8.25 7.00 297 0 None 3.65 0.44 2.33
Primal graph
Density: 11.81%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.10 None None None None None 1.98
Degree 1 8 4.37 4.00 166 2.77e+23 53.98 1.31 0.30 1.63
Eccentricity 3 5 4.05 4.00 154 1.04e+23 53.00 0.39 0.10 0.54
Triangulated primal graph
Density: 27.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.76 None None None None None 2.80
Degree 1 25 10.11 7.00 384 4.86e+33 77.57 6.79 0.67 2.78
Eccentricity 2 4 2.87 3.00 109 1.11e+17 39.25 0.57 0.20 0.85
Dual graph
Density: 9.17%
MCB compute time (ms): 46
MCB cycles: 237
Triangles: 348
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.47 0.47 39.29 0.00 -62.92 0.08 0.16 2.62
Degree 4 12 7.52 7.00 624 MAX VALUE 164.99 1.78 0.24 1.98
Eccentricity 4 5 4.18 4.00 347 MAX VALUE 118.41 0.38 0.09 0.47
MCB cycle size 3 5 3.27 3.00 775 MAX VALUE 277.17 0.64 0.20 0.55
Minimal dual graph
Density: 3.76%
MCB compute time (ms): 15
MCB cycles: 46
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 1.50 0.00 None 0.07 3.79 0.31
Degree 2 4 3.08 3.00 256 MAX VALUE 92.02 0.56 0.18 0.85
Eccentricity 6 8 6.84 7.00 568 MAX VALUE 159.36 0.55 0.08 0.82
MCB cycle size 3 9 6.93 7.00 319 1.12e+38 87.61 1.58 0.23 1.76
Triangulated dual graph
Density: 26.51%
Triangles: 5,635
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.75 64.35 0.00 -22.55 0.14 0.18 3.81
Degree 4 47 21.73 18.00 1,804 MAX VALUE 236.44 13.33 0.61 3.35
Eccentricity 2 4 2.84 3.00 236 1.28e+37 85.44 0.48 0.17 0.69
Triangulated minimal dual graph
Density: 12.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.75 0.67 62.12 0.00 -27.36 0.21 0.28 2.62
Degree 2 29 9.90 5.00 822 MAX VALUE 155.44 9.13 0.92 2.64
Eccentricity 3 5 3.86 4.00 320 MAX VALUE 111.03 0.58 0.15 0.88
Incidence graph
Density: 2.29%
MCB compute time (ms): 26
MCB cycles: 46
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.00 None None None None None 0.05
Degree 1 8 2.74 2.00 332 MAX VALUE 111.51 1.32 0.48 1.09
Eccentricity 7 11 8.90 9.00 1,077 MAX VALUE 264.12 0.73 0.08 1.09
MCB cycle size 6 10 8.22 8.00 378 MAX VALUE 95.87 1.68 0.20 1.08
Component #2 Number of variables: 2
Number of constraints: 1
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness 0.90 0.90 0.90 0.90 0.90 0.90 -0.11 0.00 0.00 0.00
Tuples 3,266 3,266 3,266.00 3,266.00 3,266 3,266 8.09 0.00 0.00 0.00
Domain size 180 180 180.00 180.00 360 32,400 10.39 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Cluster variables 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Primal graph
Density: 100.00%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Triangulated minimal dual graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Incidence graph
Density: 66.67%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 1.10
Degree 1 2 1.33 1.00 4 2 0.69 0.47 0.35 0.64
Eccentricity 1 2 1.67 2.00 5 4 1.39 0.47 0.28 0.64
MCB cycle size None None None None 0 1 0.00 None None 0.00