Instance: rand-2-40-180-84-900-87_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:18
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 3 38 18.03 18.00 541,909 MAX VALUE 86,150.80 4.01 0.22 2.80
Relational linkage 0.02 0.14 0.08 0.08 549.07 0.00 -18,035.50 0.02 0.20 2.45
Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.87 0.00 0.00 4.08
Tuples 3,097 3,383 3,245.06 3,242.50 272,585 MAX VALUE 679.12 52.96 0.02 4.08
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 5.00 167 1.76e+23 53.52 1.65 0.38 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: 31
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 9 4.10 5.00 127 1.71e+17 39.68 1.99 0.49 1.72
Cluster variables 2 10 5.29 5.00 164 1.05e+21 48.40 2.47 0.47 1.91
Separator constraints 0 7 1.39 1.00 43 0 None 1.68 1.21 1.54
Separator variables 0 9 4.00 4.00 124 0 None 2.42 0.61 1.98
Dual tree decomposition
Number of clusters: 38
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 2 38 16.71 16.50 635 MAX VALUE 100.07 9.01 0.54 3.08
Cluster variables 3 24 9.92 8.50 377 5.56e+35 82.31 5.10 0.51 2.69
Separator constraints 0 19 8.11 7.50 308 0 None 4.82 0.59 2.72
Separator variables 0 17 7.71 7.00 293 0 None 3.99 0.52 2.58
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 1.00 None 0.10 None None None None None 2.02
Degree 1 8 4.20 4.50 168 1.76e+23 53.52 1.71 0.41 1.78
Eccentricity 4 6 4.53 4.00 181 1.21e+26 60.06 0.59 0.13 0.85
Triangulated primal graph
Density: 21.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.69 None None None None None 2.97
Degree 1 21 8.45 6.00 338 2.67e+31 72.36 6.24 0.74 2.66
Eccentricity 3 5 3.75 4.00 150 4.93e+22 52.25 0.66 0.18 0.97
Dual graph
Density: 9.38%
MCB compute time (ms): 30
MCB cycles: 248
Triangles: 404
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 1.00 0.50 0.47 41.91 0.00 None 0.11 0.22 3.02
Degree 2 14 7.79 8.00 654 MAX VALUE 167.62 2.39 0.31 2.20
Eccentricity 4 5 4.21 4.00 354 MAX VALUE 120.47 0.41 0.10 0.52
MCB cycle size 3 6 3.21 3.00 796 MAX VALUE 286.22 0.57 0.18 0.54
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.17 None 0.00 None None None None None 0.24
Degree 1 5 3.05 3.00 256 MAX VALUE 91.13 0.71 0.23 1.06
Eccentricity 6 9 6.99 7.00 587 MAX VALUE 162.80 0.78 0.11 1.14
MCB cycle size 3 9 6.78 7.00 305 6.19e+36 84.72 1.56 0.23 1.77
Triangulated dual graph
Density: 25.53%
Triangles: 5,569
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.77 0.74 64.55 0.00 -23.47 0.14 0.18 3.94
Degree 2 45 21.19 17.50 1,780 MAX VALUE 233.77 13.49 0.64 3.51
Eccentricity 3 5 3.45 3.00 290 MAX VALUE 103.09 0.54 0.16 0.77
Triangulated minimal dual graph
Density: 11.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.67 None None None None None 2.77
Degree 1 29 9.31 5.00 782 MAX VALUE 152.39 8.79 0.94 2.63
Eccentricity 3 6 4.70 5.00 395 MAX VALUE 129.26 0.63 0.13 0.96
Incidence graph
Density: 2.20%
MCB compute time (ms): 16
MCB cycles: 47
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.59
Degree 1 8 2.71 2.00 336 MAX VALUE 111.75 1.41 0.52 0.98
Eccentricity 8 12 9.19 9.00 1,140 MAX VALUE 274.49 0.92 0.10 1.28
MCB cycle size 6 12 8.30 8.00 390 MAX VALUE 98.21 1.93 0.23 1.28