Instance: anna-5_ext
Number of variables: 138
Number of constraints: 493
Satisfiable: None
Timestamp: 2017-10-27 10:54:35
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 138
Number of constraints: 493
General features
Number of coarse blocks: 4,805
Number of unique subscopes: 113
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 986 MAX VALUE 341.72 0.00 0.00 0.00
Coarse blocks size 4 4 4.00 4.00 19,220 MAX VALUE 6,661.14 0.00 0.00 0.00
Relational linkage 0.80 0.80 0.80 0.80 452.00 0.00 -126.08 0.00 0.00 0.00
Tightness 0.20 0.20 0.20 0.20 98.60 0.00 -793.45 0.00 0.00 0.00
Tuples 20 20 20.00 20.00 9,860 MAX VALUE 1,476.90 0.00 0.00 0.00
Domain size 5 5 5.00 5.00 690 MAX VALUE 222.10 0.00 0.00 0.00
Constraints per subscope 2 71 8.50 5.00 961 MAX VALUE 192.48 11.07 1.30 2.57
Partitions per subscope 5 5 5.00 5.00 565 MAX VALUE 181.87 0.00 0.00 0.00
Tree decomposition
Number of clusters: 111
Number of leaves: 37
Tree depth: 15
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 62 11.96 6.00 1,328 MAX VALUE 197.56 14.59 1.22 2.59
Cluster variables 2 13 4.86 4.00 539 MAX VALUE 158.56 2.80 0.58 2.13
Separator constraints 0 53 7.52 3.00 835 0 None 11.61 1.54 2.47
Separator variables 0 12 3.61 3.00 401 0 None 2.72 0.75 2.11
Dual tree decomposition
Number of clusters: 118
Number of leaves: 42
Tree depth: 9
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 2,485 315.53 85.50 37,233 MAX VALUE 538.98 475.67 1.51 4.43
Cluster variables 2 148 28.81 18.00 3,400 MAX VALUE 348.53 28.05 0.97 3.69
Separator constraints 0 1,540 226.26 65.50 26,699 0 None 324.96 1.44 4.33
Separator variables 0 102 24.64 16.00 2,907 0 None 22.32 0.91 3.70
Primal graph
Density: 5.22%
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 1.00 None None None None None 4.12
Degree 1 71 7.14 4.00 986 MAX VALUE 192.48 10.43 1.46 2.57
Eccentricity 3 5 4.29 4.00 592 MAX VALUE 199.91 0.53 0.12 0.77
Triangulated primal graph
Density: 5.71%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 1.00 None None None None None 4.16
Degree 1 71 7.83 4.00 1,080 MAX VALUE 198.01 11.43 1.46 2.65
Eccentricity 3 5 4.28 4.00 590 MAX VALUE 199.40 0.54 0.13 0.79
Dual graph
Density: 8.69%
MCB compute time (ms): 10,156
MCB cycles: 10,379
Triangles: 143,899
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 None 0.71 None None None None None 5.26
Degree 1 119 42.73 45.00 21,068 MAX VALUE 1,739.26 23.77 0.56 4.25
Eccentricity 3 5 3.74 4.00 1,843 MAX VALUE 645.69 0.48 0.13 0.69
MCB cycle size 3 4 3.00 3.00 31,172 MAX VALUE 11,412.60 0.06 0.02 0.02
Minimal dual graph
Density: 0.70%
MCB compute time (ms): 1,999
MCB cycles: 356
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.22
Degree 1 6 3.44 3.00 1,696 MAX VALUE 594.03 0.82 0.24 1.22
Eccentricity 8 12 9.40 9.00 4,633 MAX VALUE 1,102.84 0.78 0.08 1.17
MCB cycle size 3 12 7.26 7.00 2,585 MAX VALUE 695.50 1.62 0.22 1.87
Triangulated dual graph
Density: 24.70%
Triangles: 1,278,290
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 None 0.79 None None None None None 5.46
Degree 1 277 121.53 112.00 59,916 MAX VALUE 2,149.40 85.27 0.70 4.91
Eccentricity 3 5 3.41 3.00 1,681 MAX VALUE 599.47 0.51 0.15 0.71
Triangulated minimal dual graph
Density: 6.21%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.75 None None None None None 3.87
Degree 1 127 30.53 6.00 15,052 MAX VALUE 1,162.08 43.43 1.42 3.38
Eccentricity 4 7 4.91 5.00 2,420 MAX VALUE 780.56 0.61 0.12 0.91
Incidence graph
Density: 0.50%
MCB compute time (ms): 708
MCB cycles: 356
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 1.16
Degree 1 71 3.13 2.00 1,972 MAX VALUE 534.20 5.32 1.70 0.96
Eccentricity 6 11 8.48 9.00 5,352 MAX VALUE 1,344.65 0.98 0.12 1.25
MCB cycle size 6 6 6.00 6.00 2,136 MAX VALUE 637.87 0.00 0.00 0.00