Instance: rand-2-40-40-135-650-78_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:41
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,720
Number of unique subscopes: 38
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 3 27 13.98 14.00 149,882 MAX VALUE 28,004.10 3.05 0.22 2.53
Relational linkage 0.07 0.40 0.25 0.25 381.75 0.00 -2,131.13 0.05 0.19 2.07
Tightness 0.62 0.68 0.65 0.65 87.82 0.00 -58.07 0.01 0.02 3.89
Tuples 514 615 559.14 559.00 75,484 MAX VALUE 853.99 19.00 0.03 3.89
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 14 7.05 7.00 268 2.31e+31 72.22 2.20 0.31 2.04
Partitions per subscope 40 40 40.00 40.00 1,520 MAX VALUE 140.18 0.00 0.00 0.00
Tree decomposition
Number of clusters: 25
Number of leaves: 11
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 28 11.88 9.00 297 1.75e+23 53.52 8.30 0.70 2.71
Cluster variables 2 16 8.60 7.00 215 5.37e+21 50.04 4.34 0.50 2.22
Separator constraints 0 24 6.48 3.00 162 0 None 7.33 1.13 2.29
Separator variables 0 15 7.00 6.00 175 0 None 4.31 0.62 2.30
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 18 189 64.58 55.50 2,454 MAX VALUE 151.31 41.38 0.64 3.37
Cluster variables 8 59 20.34 15.50 773 MAX VALUE 108.50 12.70 0.62 2.94
Separator constraints 0 96 40.82 36.00 1,551 0 None 24.51 0.60 3.31
Separator variables 0 44 16.79 14.00 638 0 None 9.72 0.58 2.95
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.33 None 0.16 None None None None None 2.91
Degree 1 14 6.75 7.00 270 2.31e+31 72.22 2.52 0.37 2.14
Eccentricity 2 4 3.25 3.00 130 1.92e+20 46.70 0.49 0.15 0.70
Triangulated primal graph
Density: 37.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 None 0.80 None None None None None 3.23
Degree 1 29 14.75 15.00 590 MAX VALUE 95.63 9.01 0.61 2.81
Eccentricity 2 3 2.60 3.00 104 1.85e+16 37.46 0.49 0.19 0.67
Dual graph
Density: 9.98%
MCB compute time (ms): 241
MCB cycles: 841
Triangles: 2,003
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.51 0.49 69.00 0.00 -91.60 0.07 0.14 3.70
Degree 7 23 13.38 13.00 1,806 MAX VALUE 346.42 3.14 0.23 2.48
Eccentricity 3 4 3.27 3.00 441 MAX VALUE 158.67 0.44 0.14 0.58
MCB cycle size 3 6 3.16 3.00 2,661 MAX VALUE 962.37 0.43 0.14 0.47
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 46
MCB cycles: 97
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.15
Degree 1 5 3.41 3.00 460 MAX VALUE 162.56 0.69 0.20 1.00
Eccentricity 6 8 6.57 7.00 887 MAX VALUE 253.72 0.52 0.08 0.76
MCB cycle size 4 9 6.88 7.00 667 MAX VALUE 185.75 1.08 0.16 1.48
Triangulated dual graph
Density: 41.02%
Triangles: 65,206
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.82 0.80 111.06 0.00 -27.25 0.10 0.12 4.34
Degree 7 92 54.96 67.00 7,420 MAX VALUE 509.44 29.63 0.54 3.78
Eccentricity 2 3 2.39 2.00 323 MAX VALUE 115.06 0.49 0.20 0.67
Triangulated minimal dual graph
Density: 12.02%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.71 None None None None None 3.18
Degree 1 47 16.10 7.00 2,174 MAX VALUE 296.73 16.61 1.03 2.88
Eccentricity 3 5 4.06 4.00 548 MAX VALUE 187.71 0.58 0.14 0.87
Incidence graph
Density: 1.77%
MCB compute time (ms): 51
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 None 0.00 None None None None None 0.61
Degree 1 14 3.09 2.00 540 MAX VALUE 165.79 2.33 0.75 1.03
Eccentricity 5 9 7.17 7.00 1,255 MAX VALUE 343.94 0.70 0.10 1.04
MCB cycle size 6 8 6.98 6.00 670 MAX VALUE 185.53 1.00 0.14 0.69