Instance: rand-2-40-180-84-900-72_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: 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 168 1.93e+25 58.22 0.00 0.00 0.00
Coarse blocks size 3 35 18.04 18.00 535,823 MAX VALUE 85,140.10 4.02 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 514.39 0.00 -17,186.70 0.01 0.19 2.40
Tightness 0.90 0.90 0.90 0.90 75.58 0.00 -8.87 0.00 0.00 4.19
Tuples 3,103 3,350 3,246.94 3,244.50 272,743 MAX VALUE 679.17 51.64 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.46 4.00 165 1.78e+23 53.53 1.43 0.32 1.56
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: 30
Number of leaves: 14
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 10 3.90 3.50 117 5.94e+15 36.32 2.10 0.54 1.90
Cluster variables 2 11 5.80 5.00 174 3.06e+21 49.47 2.69 0.46 1.89
Separator constraints 0 6 1.10 0.00 33 0 None 1.76 1.60 1.22
Separator variables 0 10 4.47 4.00 134 0 None 2.64 0.59 1.96
Dual tree decomposition
Number of clusters: 37
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 6 37 17.84 15.00 660 MAX VALUE 101.19 9.38 0.53 2.96
Cluster variables 5 26 10.62 9.00 393 2.03e+36 83.60 5.22 0.49 2.53
Separator constraints 0 23 9.11 7.00 337 0 None 5.89 0.65 2.77
Separator variables 0 18 8.35 7.00 309 0 None 4.05 0.48 2.51
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.02 None None None None None 2.05
Degree 1 8 4.20 4.00 168 1.78e+23 53.53 1.65 0.39 1.71
Eccentricity 3 5 4.22 4.00 169 8.44e+24 57.40 0.47 0.11 0.67
Triangulated primal graph
Density: 24.23%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 None 0.76 None None None None None 3.00
Degree 1 22 9.45 5.50 378 8.50e+32 75.82 7.00 0.74 2.67
Eccentricity 2 4 3.33 3.00 133 4.55e+20 47.57 0.52 0.16 0.75
Dual graph
Density: 9.27%
MCB compute time (ms): 31
MCB cycles: 249
Triangles: 389
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.49 0.48 40.99 0.00 -61.93 0.11 0.23 2.60
Degree 4 13 7.69 7.50 646 MAX VALUE 167.85 2.19 0.29 2.11
Eccentricity 4 5 4.19 4.00 352 MAX VALUE 120.02 0.39 0.09 0.49
MCB cycle size 3 6 3.29 3.00 818 MAX VALUE 292.07 0.67 0.20 0.63
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 10
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 1.17 0.00 None 0.05 3.80 0.29
Degree 2 4 3.05 3.00 256 MAX VALUE 92.02 0.58 0.19 0.86
Eccentricity 6 8 6.96 7.00 585 MAX VALUE 162.64 0.66 0.10 0.99
MCB cycle size 3 10 7.00 7.00 315 2.35e+37 86.05 1.63 0.23 1.78
Triangulated dual graph
Density: 27.42%
Triangles: 6,491
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.78 0.76 65.48 0.00 -22.18 0.14 0.17 3.87
Degree 4 45 22.76 19.50 1,912 MAX VALUE 241.49 14.12 0.62 3.39
Eccentricity 2 3 2.69 3.00 226 3.16e+35 81.74 0.46 0.17 0.62
Triangulated minimal dual graph
Density: 11.93%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.74 0.67 62.16 0.00 -28.70 0.21 0.28 2.75
Degree 2 29 9.90 5.50 832 MAX VALUE 158.44 8.90 0.90 2.70
Eccentricity 3 5 3.89 4.00 327 MAX VALUE 113.15 0.60 0.15 0.90
Incidence graph
Density: 2.20%
MCB compute time (ms): 18
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.98
Degree 1 8 2.71 2.00 336 MAX VALUE 111.76 1.39 0.51 1.14
Eccentricity 7 11 8.96 9.00 1,111 MAX VALUE 271.46 0.76 0.08 1.13
MCB cycle size 6 12 8.40 8.00 378 MAX VALUE 94.82 1.72 0.20 1.24