Instance: rand-2-40-180-84-900-94_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 3 36 18.03 18.00 535,586 MAX VALUE 85,121.40 4.02 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 515.01 0.00 -17,189.60 0.02 0.20 2.44
Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.87 0.00 0.00 4.09
Tuples 3,132 3,345 3,245.68 3,243.00 272,637 MAX VALUE 679.14 49.11 0.02 4.09
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 5.00 165 5.81e+22 52.42 1.65 0.37 1.80
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: 12
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 10 4.17 4.00 121 6.27e+15 36.38 2.31 0.55 1.94
Cluster variables 2 11 5.14 5.00 149 2.06e+19 44.47 2.34 0.46 2.01
Separator constraints 0 8 1.28 0.00 37 0 None 1.87 1.47 1.46
Separator variables 0 10 3.76 3.00 109 0 None 2.22 0.59 2.06
Dual tree decomposition
Number of clusters: 37
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 3 40 17.89 17.00 662 MAX VALUE 101.48 8.76 0.49 3.10
Cluster variables 3 21 10.16 9.00 376 4.10e+35 82.00 4.64 0.46 2.55
Separator constraints 0 22 8.81 8.00 326 0 None 5.22 0.59 2.52
Separator variables 0 15 7.89 7.00 292 0 None 3.64 0.46 2.51
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.31
Degree 1 8 4.20 4.50 168 5.81e+22 52.42 1.83 0.44 1.93
Eccentricity 4 5 4.35 4.00 174 2.75e+25 58.58 0.48 0.11 0.65
Triangulated primal graph
Density: 21.28%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 None 0.79 None None None None None 2.97
Degree 1 20 8.30 6.00 332 1.92e+30 69.73 6.47 0.78 2.57
Eccentricity 2 4 3.25 3.00 130 1.52e+20 46.47 0.58 0.18 0.87
Dual graph
Density: 9.64%
MCB compute time (ms): 49
MCB cycles: 255
Triangles: 426
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.53 0.48 44.30 0.00 -55.78 0.13 0.25 2.99
Degree 2 12 8.00 8.00 672 MAX VALUE 171.33 2.04 0.26 2.04
Eccentricity 4 5 4.29 4.00 360 MAX VALUE 121.80 0.45 0.11 0.60
MCB cycle size 3 6 3.20 3.00 815 MAX VALUE 293.39 0.55 0.17 0.49
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 13
MCB cycles: 45
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.00 None None None None None 0.75
Degree 1 4 3.05 3.00 256 MAX VALUE 91.50 0.63 0.21 0.95
Eccentricity 6 9 7.21 7.00 606 MAX VALUE 165.68 0.62 0.09 0.93
MCB cycle size 3 10 6.84 7.00 308 1.61e+37 85.67 1.26 0.18 1.60
Triangulated dual graph
Density: 24.96%
Triangles: 5,088
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.77 0.74 64.54 0.00 -23.71 0.15 0.19 3.84
Degree 2 46 20.71 20.00 1,740 MAX VALUE 234.80 12.51 0.60 3.39
Eccentricity 3 5 3.46 3.00 291 MAX VALUE 103.31 0.57 0.16 0.81
Triangulated minimal dual graph
Density: 11.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 None 0.67 None None None None None 2.98
Degree 1 30 9.74 5.00 818 MAX VALUE 156.25 8.90 0.91 2.71
Eccentricity 3 5 3.93 4.00 330 MAX VALUE 113.95 0.59 0.15 0.89
Incidence graph
Density: 2.20%
MCB compute time (ms): 22
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 1.04
Degree 1 8 2.71 2.00 336 MAX VALUE 110.64 1.46 0.54 1.07
Eccentricity 8 11 9.17 9.00 1,137 MAX VALUE 274.28 0.82 0.09 1.19
MCB cycle size 6 12 8.09 8.00 364 MAX VALUE 93.08 1.68 0.21 1.18