Instance: rand-2-40-40-135-650-73_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:37
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 135
General features
Number of coarse blocks: 10,800
Number of unique subscopes: 40
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 270 MAX VALUE 93.57 0.00 0.00 0.00
Coarse blocks size 4 25 14.06 14.00 151,800 MAX VALUE 28,280.60 3.01 0.21 2.52
Relational linkage 0.10 0.45 0.26 0.25 410.50 0.00 -2,207.72 0.05 0.19 2.09
Tightness 0.62 0.68 0.65 0.65 87.56 0.00 -58.47 0.01 0.02 4.00
Tuples 507 608 562.22 564.00 75,900 MAX VALUE 854.73 19.10 0.03 4.00
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 2 12 6.75 7.00 270 9.61e+31 73.64 2.32 0.34 2.13
Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Tree decomposition
Number of clusters: 25
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 2 23 10.60 8.00 265 2.08e+23 53.69 6.73 0.64 2.58
Cluster variables 3 16 8.40 7.00 210 8.31e+21 50.47 3.94 0.47 2.39
Separator constraints 0 20 5.20 3.00 130 0 None 6.10 1.17 2.08
Separator variables 0 15 6.80 6.00 170 0 None 3.88 0.57 2.47
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 13 174 61.03 50.50 2,319 MAX VALUE 148.46 40.00 0.66 3.53
Cluster variables 7 58 19.84 16.00 754 MAX VALUE 107.62 12.16 0.61 2.83
Separator constraints 0 95 37.76 30.50 1,435 0 None 24.45 0.65 3.35
Separator variables 0 40 16.29 14.00 619 0 None 9.33 0.57 2.94
Primal graph
Density: 17.31%
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.67 0.14 0.11 5.41 0.00 None 0.12 0.90 2.98
Degree 2 12 6.75 7.00 270 9.61e+31 73.64 2.32 0.34 2.13
Eccentricity 3 4 3.10 3.00 124 3.84e+19 45.10 0.30 0.10 0.33
Triangulated primal graph
Density: 37.18%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.81 0.81 32.39 0.00 -9.14 0.15 0.19 2.91
Degree 2 30 14.50 13.00 580 MAX VALUE 96.54 8.88 0.61 2.90
Eccentricity 2 3 2.58 3.00 103 1.23e+16 37.05 0.49 0.19 0.68
Dual graph
Density: 9.77%
MCB compute time (ms): 377
MCB cycles: 785
Triangles: 1,901
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.75 0.51 0.49 68.47 0.00 -92.31 0.05 0.10 3.75
Degree 6 21 13.10 13.00 1,768 MAX VALUE 343.36 3.08 0.23 2.49
Eccentricity 3 4 3.28 3.00 443 MAX VALUE 159.25 0.45 0.14 0.59
MCB cycle size 3 5 3.12 3.00 2,450 MAX VALUE 889.61 0.33 0.11 0.38
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 59
MCB cycles: 96
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.41 3.00 460 MAX VALUE 163.04 0.65 0.19 0.97
Eccentricity 6 8 6.59 7.00 890 MAX VALUE 254.16 0.53 0.08 0.78
MCB cycle size 4 9 6.80 7.00 653 MAX VALUE 182.59 1.14 0.17 1.51
Triangulated dual graph
Density: 38.97%
Triangles: 58,704
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.82 0.80 110.31 0.00 -28.25 0.10 0.12 4.37
Degree 6 90 52.22 58.00 7,050 MAX VALUE 502.07 28.79 0.55 3.80
Eccentricity 2 3 2.41 2.00 326 MAX VALUE 116.28 0.49 0.20 0.68
Triangulated minimal dual graph
Density: 11.97%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.78 0.71 105.68 0.00 -36.27 0.17 0.22 3.15
Degree 2 50 16.04 7.00 2,166 MAX VALUE 296.25 16.61 1.04 2.99
Eccentricity 3 5 3.68 4.00 497 MAX VALUE 174.59 0.51 0.14 0.74
Incidence graph
Density: 1.77%
MCB compute time (ms): 63
MCB cycles: 96
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 12 3.09 2.00 540 MAX VALUE 167.22 2.28 0.74 0.99
Eccentricity 6 8 7.14 7.00 1,249 MAX VALUE 343.37 0.57 0.08 0.85
MCB cycle size 6 8 7.23 8.00 694 MAX VALUE 188.98 0.97 0.13 0.67