Instance: rand-2-40-180-84-900-22_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:16
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 38
Number of constraints: 83
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 166 9.67e+24 57.53 0.00 0.00 0.00
Coarse blocks size 4 34 17.99 18.00 534,268 MAX VALUE 85,049.30 4.01 0.22 2.80
Relational linkage 0.02 0.15 0.08 0.08 516.44 0.00 -17,170.80 0.02 0.20 2.45
Tightness 0.90 0.90 0.90 0.90 74.70 0.00 -8.74 0.00 0.00 4.19
Tuples 3,129 3,357 3,238.22 3,237.00 268,772 MAX VALUE 670.86 48.65 0.02 4.19
Domain size 180 180 180.00 180.00 6,840 MAX VALUE 197.33 0.00 0.00 0.00
Constraints per subscope 2 9 4.46 4.00 165 4.78e+22 52.22 1.79 0.40 1.82
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: 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.31 4.00 125 3.88e+16 38.20 2.32 0.54 2.01
Cluster variables 2 10 5.48 5.00 159 2.24e+20 46.86 2.24 0.41 2.06
Separator constraints 0 7 1.45 1.00 42 0 None 2.01 1.39 1.45
Separator variables 0 9 4.17 4.00 121 0 None 2.21 0.53 2.11
Dual tree decomposition
Number of clusters: 36
Number of leaves: 14
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 59 20.03 16.50 721 MAX VALUE 99.00 13.91 0.69 2.94
Cluster variables 4 24 10.75 9.50 387 1.60e+35 81.06 5.44 0.51 2.69
Separator constraints 0 36 10.44 8.50 376 0 None 8.06 0.77 2.96
Separator variables 0 17 8.44 7.50 304 0 None 4.20 0.50 2.59
Primal graph
Density: 11.81%
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.28
Degree 1 9 4.37 4.00 166 4.78e+22 52.22 1.86 0.42 1.89
Eccentricity 3 5 4.13 4.00 157 1.90e+23 53.60 0.52 0.13 0.77
Triangulated primal graph
Density: 23.61%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 None 0.70 None None None None None 2.70
Degree 1 22 8.74 7.00 332 5.00e+30 70.69 6.21 0.71 2.59
Eccentricity 2 4 3.26 3.00 124 2.13e+19 44.51 0.50 0.15 0.71
Dual graph
Density: 10.14%
MCB compute time (ms): 43
MCB cycles: 266
Triangles: 480
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.48 41.77 0.00 -58.53 0.11 0.21 3.14
Degree 3 16 8.31 8.00 690 MAX VALUE 170.99 2.68 0.32 2.34
Eccentricity 3 5 4.14 4.00 344 MAX VALUE 117.68 0.38 0.09 0.50
MCB cycle size 3 6 3.17 3.00 844 MAX VALUE 304.50 0.51 0.16 0.47
Minimal dual graph
Density: 3.76%
MCB compute time (ms): 14
MCB cycles: 46
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 5 3.08 3.00 256 MAX VALUE 91.72 0.62 0.20 0.94
Eccentricity 5 8 6.55 7.00 544 MAX VALUE 155.67 0.63 0.10 0.95
MCB cycle size 5 9 7.04 7.00 324 MAX VALUE 89.03 1.25 0.18 1.56
Triangulated dual graph
Density: 28.53%
Triangles: 6,586
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.78 0.75 64.51 0.00 -22.22 0.14 0.18 3.86
Degree 3 49 23.40 22.00 1,942 MAX VALUE 241.76 13.73 0.59 3.52
Eccentricity 2 4 3.25 3.00 270 MAX VALUE 97.11 0.46 0.14 0.64
Triangulated minimal dual graph
Density: 12.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.75 0.67 62.10 0.00 -26.96 0.20 0.26 2.79
Degree 2 31 10.58 5.00 878 MAX VALUE 159.87 9.67 0.91 2.68
Eccentricity 3 5 3.80 4.00 315 MAX VALUE 109.78 0.55 0.15 0.83
Incidence graph
Density: 2.29%
MCB compute time (ms): 21
MCB cycles: 46
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.19
Degree 1 9 2.74 2.00 332 MAX VALUE 109.75 1.51 0.55 1.03
Eccentricity 7 11 8.77 9.00 1,061 MAX VALUE 262.06 0.92 0.11 1.27
MCB cycle size 6 12 7.87 8.00 362 MAX VALUE 93.83 1.74 0.22 1.19
Component #2 Number of variables: 2
Number of constraints: 1
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness 0.90 0.90 0.90 0.90 0.90 0.90 -0.10 0.00 0.00 0.00
Tuples 3,179 3,179 3,179.00 3,179.00 3,179 3,179 8.06 0.00 0.00 0.00
Domain size 180 180 180.00 180.00 360 32,400 10.39 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Cluster variables 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Primal graph
Density: 100.00%
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 None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
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 None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Triangulated minimal dual graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Incidence graph
Density: 66.67%
MCB compute time (ms): 0
MCB cycles: 0
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 None None None None None None 1.10
Degree 1 2 1.33 1.00 4 2 0.69 0.47 0.35 0.64
Eccentricity 1 2 1.67 2.00 5 4 1.39 0.47 0.28 0.64
MCB cycle size None None None None 0 1 0.00 None None 0.00