Instance: rand-2-40-180-84-900-74_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:28
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.02 18.00 535,305 MAX VALUE 85,094.20 4.05 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 515.11 0.00 -17,188.90 0.02 0.20 2.45
Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.86 0.00 0.00 4.23
Tuples 3,119 3,366 3,244.27 3,246.00 272,519 MAX VALUE 679.10 57.89 0.02 4.23
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 6.41e+22 52.52 1.69 0.38 1.68
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: 31
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 1 10 4.39 5.00 136 2.72e+17 40.15 2.35 0.54 2.07
Cluster variables 2 10 5.32 5.00 165 9.56e+20 48.31 2.44 0.46 2.12
Separator constraints 0 6 1.68 1.00 52 0 None 1.87 1.12 1.58
Separator variables 0 9 4.03 4.00 125 0 None 2.40 0.60 2.17
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 1 37 18.11 18.00 688 MAX VALUE 102.98 9.43 0.52 3.06
Cluster variables 2 23 10.11 9.00 384 1.44e+36 83.26 4.98 0.49 2.60
Separator constraints 0 21 9.21 8.00 350 0 None 5.45 0.59 2.59
Separator variables 0 16 7.89 7.50 300 0 None 3.87 0.49 2.50
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 None None None 0.13 None None None None None 2.29
Degree 1 8 4.20 4.00 168 6.41e+22 52.52 1.86 0.44 1.82
Eccentricity 3 6 4.60 5.00 184 2.21e+26 60.66 0.62 0.14 0.95
Triangulated primal graph
Density: 21.79%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.69 None None None None None 3.13
Degree 1 20 8.50 6.50 340 1.31e+31 71.65 6.17 0.73 2.75
Eccentricity 3 5 3.83 4.00 153 1.17e+23 53.12 0.63 0.16 0.94
Dual graph
Density: 9.70%
MCB compute time (ms): 52
MCB cycles: 256
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.40 1.00 None 0.50 None None None None None 2.73
Degree 1 13 8.05 8.00 676 MAX VALUE 170.33 2.40 0.30 2.19
Eccentricity 3 5 4.19 4.00 352 MAX VALUE 119.89 0.45 0.11 0.63
MCB cycle size 3 5 3.17 3.00 812 MAX VALUE 293.06 0.49 0.16 0.45
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 16
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.22
Degree 1 4 3.05 3.00 256 MAX VALUE 91.50 0.63 0.21 0.95
Eccentricity 6 9 7.05 7.00 592 MAX VALUE 163.55 0.75 0.11 1.11
MCB cycle size 3 9 7.04 7.00 317 3.28e+37 86.39 1.62 0.23 1.69
Triangulated dual graph
Density: 25.82%
Triangles: 5,574
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 None 0.74 None None None None None 4.03
Degree 1 44 21.43 20.00 1,800 MAX VALUE 235.89 13.17 0.61 3.48
Eccentricity 3 5 3.45 3.00 290 MAX VALUE 103.09 0.54 0.16 0.77
Triangulated minimal dual graph
Density: 11.82%
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.06
Degree 1 31 9.81 5.00 824 MAX VALUE 156.30 9.05 0.92 2.69
Eccentricity 3 5 3.89 4.00 327 MAX VALUE 113.08 0.62 0.16 0.93
Incidence graph
Density: 2.20%
MCB compute time (ms): 26
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 None None None 0.00 None None None None None 0.92
Degree 1 8 2.71 2.00 336 MAX VALUE 110.74 1.47 0.54 1.06
Eccentricity 7 12 9.27 9.00 1,149 MAX VALUE 275.37 0.99 0.11 1.37
MCB cycle size 6 10 7.91 8.00 356 MAX VALUE 92.16 1.58 0.20 1.09