Instance: rand-2-40-180-84-900-99_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 2 35 18.03 18.00 535,605 MAX VALUE 85,113.50 4.04 0.22 2.81
Relational linkage 0.01 0.14 0.08 0.08 517.26 0.00 -17,165.70 0.02 0.20 2.47
Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.87 0.00 0.00 4.17
Tuples 3,106 3,397 3,245.21 3,247.50 272,598 MAX VALUE 679.12 54.61 0.02 4.17
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 4.68e+22 52.20 1.75 0.39 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: 30
Number of leaves: 12
Tree depth: 8
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 11 4.43 3.00 133 2.66e+15 35.52 3.31 0.75 2.07
Cluster variables 2 11 5.10 4.00 153 1.69e+19 44.27 2.80 0.55 2.14
Separator constraints 0 7 1.63 0.00 49 0 None 2.46 1.50 1.39
Separator variables 0 9 3.77 3.00 113 0 None 2.67 0.71 2.14
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
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 58 19.13 16.00 727 MAX VALUE 96.35 14.91 0.78 3.08
Cluster variables 2 27 10.00 8.00 380 3.88e+34 79.64 6.15 0.62 2.71
Separator constraints 0 44 10.13 9.00 385 0 None 9.27 0.91 2.79
Separator variables 0 19 7.79 7.00 296 0 None 4.91 0.63 2.79
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.07 None None None None None 2.27
Degree 1 8 4.20 4.00 168 4.68e+22 52.20 1.91 0.46 1.95
Eccentricity 4 8 6.17 6.00 247 2.89e+31 72.44 0.83 0.13 1.23
Triangulated primal graph
Density: 21.54%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.71 None None None None None 3.34
Degree 1 22 8.40 6.50 336 2.76e+30 70.09 6.55 0.78 2.71
Eccentricity 4 8 5.78 6.00 231 2.02e+30 69.78 0.79 0.14 1.09
Dual graph
Density: 9.81%
MCB compute time (ms): 44
MCB cycles: 269
Triangles: 454
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.48 None None None None None 3.16
Degree 1 14 8.14 8.00 684 MAX VALUE 169.23 2.73 0.33 2.23
Eccentricity 4 7 5.70 6.00 479 MAX VALUE 145.37 0.80 0.14 1.18
MCB cycle size 3 6 3.22 3.00 866 MAX VALUE 311.26 0.57 0.18 0.55
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 0.00 None 0.00 None None None None None 1.29
Degree 1 4 3.05 3.00 256 MAX VALUE 90.69 0.71 0.23 1.02
Eccentricity 6 10 7.92 8.00 665 MAX VALUE 173.00 1.08 0.14 1.47
MCB cycle size 4 8 6.84 7.00 308 2.27e+37 86.02 1.01 0.15 1.35
Triangulated dual graph
Density: 27.74%
Triangles: 6,994
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.76 None None None None None 3.95
Degree 1 49 23.02 21.00 1,934 MAX VALUE 236.80 14.74 0.64 3.48
Eccentricity 4 7 5.27 5.00 443 MAX VALUE 139.09 0.62 0.12 0.94
Triangulated minimal dual graph
Density: 11.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.67 None None None None None 3.12
Degree 1 30 9.60 5.00 806 MAX VALUE 151.16 9.23 0.96 2.74
Eccentricity 4 8 5.89 6.00 495 MAX VALUE 148.31 0.76 0.13 1.13
Incidence graph
Density: 2.20%
MCB compute time (ms): 21
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.67
Degree 1 8 2.71 2.00 336 MAX VALUE 110.42 1.50 0.55 1.08
Eccentricity 8 16 12.39 13.00 1,536 MAX VALUE 310.96 1.62 0.13 1.82
MCB cycle size 6 10 7.91 8.00 356 MAX VALUE 92.22 1.52 0.19 1.08