Instance: rand-2-40-180-84-900-12_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:21
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 35 17.97 18.00 540,256 MAX VALUE 86,048.40 4.03 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 544.13 0.00 -18,096.90 0.02 0.20 2.43
Tightness 0.90 0.91 0.90 0.90 75.61 0.00 -8.84 0.00 0.00 4.17
Tuples 3,075 3,354 3,234.81 3,231.00 271,724 MAX VALUE 678.85 54.75 0.02 4.17
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 4.00 167 3.40e+23 54.18 1.50 0.35 1.76
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: 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 7 4.03 4.00 125 2.07e+17 39.87 1.73 0.43 1.82
Cluster variables 2 10 5.58 5.00 173 1.06e+22 50.72 2.25 0.40 2.06
Separator constraints 0 6 1.32 1.00 41 0 None 1.67 1.27 1.48
Separator variables 0 9 4.29 4.00 133 0 None 2.25 0.52 2.12
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
Tree depth: 7
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 40 16.39 14.00 623 MAX VALUE 100.12 9.05 0.55 2.95
Cluster variables 4 23 10.13 8.50 385 2.35e+36 83.75 5.02 0.50 2.59
Separator constraints 0 25 8.03 7.00 305 0 None 5.48 0.68 2.71
Separator variables 0 16 7.92 7.00 301 0 None 3.89 0.49 2.42
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.02 None None None None None 1.78
Degree 1 8 4.20 4.00 168 3.40e+23 54.18 1.57 0.37 1.83
Eccentricity 3 5 4.17 4.00 167 5.40e+24 56.95 0.44 0.11 0.61
Triangulated primal graph
Density: 22.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 None 0.70 None None None None None 2.84
Degree 1 21 8.90 6.50 356 4.09e+32 75.09 6.37 0.72 2.81
Eccentricity 2 4 3.25 3.00 130 1.71e+20 46.59 0.54 0.16 0.79
Dual graph
Density: 9.12%
MCB compute time (ms): 28
MCB cycles: 255
Triangles: 373
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 41.35 0.00 -60.61 0.09 0.17 2.91
Degree 3 13 7.57 7.00 636 MAX VALUE 166.43 2.15 0.28 2.13
Eccentricity 3 5 4.12 4.00 346 MAX VALUE 118.62 0.36 0.09 0.45
MCB cycle size 3 6 3.36 3.00 857 MAX VALUE 303.81 0.77 0.23 0.72
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.00 0.00 None 0.06 5.20 0.15
Degree 2 4 3.05 3.00 256 MAX VALUE 91.90 0.60 0.20 0.90
Eccentricity 6 8 7.15 7.00 601 MAX VALUE 164.92 0.66 0.09 0.99
MCB cycle size 3 10 6.89 7.00 310 7.92e+36 84.96 1.85 0.27 1.90
Triangulated dual graph
Density: 26.05%
Triangles: 5,716
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.78 0.78 65.34 0.00 -22.59 0.14 0.19 3.90
Degree 3 47 21.62 19.00 1,816 MAX VALUE 236.65 13.68 0.63 3.50
Eccentricity 2 3 2.67 3.00 224 1.40e+35 80.93 0.47 0.18 0.64
Triangulated minimal dual graph
Density: 11.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.75 0.67 62.82 0.00 -27.80 0.21 0.28 2.74
Degree 2 30 9.74 5.00 818 MAX VALUE 155.94 8.94 0.92 2.62
Eccentricity 3 5 3.74 4.00 314 MAX VALUE 109.86 0.54 0.14 0.79
Incidence graph
Density: 2.20%
MCB compute time (ms): 17
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.63
Degree 1 8 2.71 2.00 336 MAX VALUE 112.41 1.36 0.50 1.06
Eccentricity 7 11 8.81 9.00 1,093 MAX VALUE 269.43 0.74 0.08 1.11
MCB cycle size 6 12 8.13 8.00 366 MAX VALUE 93.49 1.54 0.19 1.14