Instance: rand-2-40-180-84-900-59_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:12
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 4 36 18.04 18.00 535,922 MAX VALUE 85,137.50 4.04 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 512.95 0.00 -17,208.90 0.02 0.20 2.41
Tightness 0.90 0.91 0.90 0.90 75.58 0.00 -8.87 0.00 0.00 4.18
Tuples 3,002 3,353 3,248.33 3,262.00 272,860 MAX VALUE 679.20 57.53 0.02 4.18
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 7 4.46 4.00 165 1.35e+23 53.26 1.44 0.32 1.69
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: 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 1 10 3.97 3.00 119 3.54e+15 35.80 2.39 0.60 2.05
Cluster variables 2 11 5.17 4.00 155 9.52e+19 46.00 2.49 0.48 2.02
Separator constraints 0 8 1.17 0.00 35 0 None 1.93 1.66 1.33
Separator variables 0 10 3.83 3.00 115 0 None 2.35 0.61 2.07
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 17.42 16.00 662 MAX VALUE 101.46 9.16 0.53 2.91
Cluster variables 3 23 10.16 9.00 386 1.16e+36 83.04 5.30 0.52 2.70
Separator constraints 0 21 8.89 8.50 338 0 None 5.60 0.63 2.65
Separator variables 0 17 7.95 7.50 302 0 None 4.12 0.52 2.60
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.67 None 0.07 None None None None None 2.02
Degree 1 7 4.20 4.00 168 1.35e+23 53.26 1.66 0.40 1.83
Eccentricity 4 6 4.78 5.00 191 9.56e+26 62.12 0.69 0.14 1.01
Triangulated primal graph
Density: 21.79%
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 3.05
Degree 1 19 8.50 5.50 340 1.28e+31 71.62 6.39 0.75 2.51
Eccentricity 3 6 4.28 4.00 171 1.07e+25 57.63 0.67 0.16 0.98
Dual graph
Density: 9.29%
MCB compute time (ms): 48
MCB cycles: 248
Triangles: 383
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.50 0.47 41.95 0.00 -59.97 0.11 0.23 2.82
Degree 2 12 7.71 8.00 648 MAX VALUE 167.57 2.14 0.28 2.12
Eccentricity 4 5 4.37 4.00 367 MAX VALUE 123.37 0.48 0.11 0.66
MCB cycle size 3 5 3.26 3.00 808 MAX VALUE 289.38 0.61 0.19 0.56
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 None 0.00 None None None None None 0.87
Degree 1 5 3.05 3.00 256 MAX VALUE 91.43 0.65 0.21 0.98
Eccentricity 5 9 6.99 7.00 587 MAX VALUE 162.62 0.89 0.13 1.29
MCB cycle size 3 9 7.02 7.00 316 4.47e+37 86.69 1.34 0.19 1.59
Triangulated dual graph
Density: 26.68%
Triangles: 6,086
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.77 0.74 64.85 0.00 -23.08 0.14 0.18 3.89
Degree 2 49 22.14 19.00 1,860 MAX VALUE 237.65 13.79 0.62 3.37
Eccentricity 3 5 3.56 4.00 299 MAX VALUE 105.55 0.58 0.16 0.85
Triangulated minimal dual graph
Density: 11.27%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 None 0.67 None None None None None 3.01
Degree 1 31 9.36 5.00 786 MAX VALUE 152.70 8.62 0.92 2.67
Eccentricity 3 5 3.87 4.00 325 MAX VALUE 112.64 0.59 0.15 0.89
Incidence graph
Density: 2.20%
MCB compute time (ms): 24
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.73
Degree 1 7 2.71 2.00 336 MAX VALUE 111.49 1.40 0.52 1.14
Eccentricity 8 12 9.65 9.00 1,196 MAX VALUE 280.28 1.08 0.11 1.40
MCB cycle size 6 10 8.27 8.00 372 MAX VALUE 94.20 1.55 0.19 1.08