Instance: rand-2-40-180-84-900-71_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:26
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 35 17.96 18.00 533,332 MAX VALUE 84,986.00 4.03 0.22 2.81
Relational linkage 0.02 0.15 0.08 0.08 513.67 0.00 -17,204.00 0.02 0.20 2.43
Tightness 0.90 0.90 0.90 0.90 75.62 0.00 -8.83 0.00 0.00 4.19
Tuples 3,109 3,391 3,232.32 3,234.00 271,515 MAX VALUE 678.79 54.12 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 8.32e+22 52.78 1.67 0.37 1.73
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: 29
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 12 4.48 3.00 130 1.50e+16 37.25 3.02 0.67 1.92
Cluster variables 2 12 5.52 5.00 160 1.02e+20 46.07 2.72 0.49 2.17
Separator constraints 0 8 1.59 0.00 46 0 None 2.41 1.52 1.47
Separator variables 0 10 4.14 3.00 120 0 None 2.56 0.62 2.17
Dual tree decomposition
Number of clusters: 38
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 6 42 19.16 14.50 728 MAX VALUE 105.88 10.85 0.57 3.06
Cluster variables 5 27 10.74 8.50 408 2.51e+37 86.11 5.52 0.51 2.45
Separator constraints 0 30 10.29 8.50 391 0 None 7.05 0.69 2.75
Separator variables 0 20 8.53 7.00 324 0 None 4.25 0.50 2.44
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.09 None None None None None 2.14
Degree 1 8 4.20 4.00 168 8.32e+22 52.78 1.85 0.44 1.87
Eccentricity 3 5 4.05 4.00 162 1.37e+24 55.58 0.55 0.13 0.81
Triangulated primal graph
Density: 23.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.72 None None None None None 2.93
Degree 1 21 9.30 7.00 372 1.87e+32 74.31 6.88 0.74 2.78
Eccentricity 2 4 3.02 3.00 121 7.11e+18 43.41 0.61 0.20 0.92
Dual graph
Density: 9.67%
MCB compute time (ms): 42
MCB cycles: 263
Triangles: 443
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.51 0.47 42.82 0.00 -58.35 0.12 0.23 2.95
Degree 4 14 8.02 8.00 674 MAX VALUE 171.21 2.40 0.30 2.17
Eccentricity 3 5 4.10 4.00 344 MAX VALUE 117.91 0.45 0.11 0.65
MCB cycle size 3 6 3.25 3.00 854 MAX VALUE 306.30 0.59 0.18 0.59
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.26
Degree 1 5 3.05 3.00 256 MAX VALUE 91.08 0.71 0.23 1.07
Eccentricity 6 8 6.87 7.00 577 MAX VALUE 161.56 0.59 0.09 0.89
MCB cycle size 3 9 6.91 7.00 311 1.53e+37 85.62 1.60 0.23 1.73
Triangulated dual graph
Density: 28.74%
Triangles: 7,273
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.79 0.77 65.97 0.00 -21.46 0.13 0.17 3.88
Degree 4 48 23.86 21.50 2,004 MAX VALUE 244.81 14.91 0.62 3.43
Eccentricity 2 4 2.79 3.00 234 6.40e+36 84.75 0.46 0.17 0.65
Triangulated minimal dual graph
Density: 11.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 None 0.67 None None None None None 2.93
Degree 1 33 9.62 5.00 808 MAX VALUE 153.78 9.06 0.94 2.71
Eccentricity 3 5 3.90 4.00 328 MAX VALUE 113.37 0.61 0.16 0.92
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.91
Degree 1 8 2.71 2.00 336 MAX VALUE 111.00 1.47 0.54 1.13
Eccentricity 7 11 8.63 9.00 1,070 MAX VALUE 266.59 0.88 0.10 1.29
MCB cycle size 6 12 8.18 8.00 368 MAX VALUE 93.85 1.45 0.18 1.09