Instance: rand-2-40-40-135-650-54_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:48
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 5 27 13.97 14.00 150,898 MAX VALUE 28,209.60 3.04 0.22 2.53
Relational linkage 0.12 0.47 0.25 0.25 406.80 0.00 -2,222.91 0.05 0.20 2.10
Tightness 0.62 0.68 0.65 0.65 87.84 0.00 -58.03 0.01 0.02 3.85
Tuples 512 604 558.88 557.00 75,449 MAX VALUE 853.93 18.36 0.03 3.85
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 2 14 6.75 7.00 270 6.91e+31 73.31 2.52 0.37 2.08
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: 6
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 24 11.76 10.00 294 1.13e+24 55.38 7.42 0.63 2.47
Cluster variables 3 16 8.92 8.00 223 2.88e+22 51.72 4.18 0.47 2.32
Separator constraints 0 20 6.36 4.00 159 0 None 6.75 1.06 2.41
Separator variables 0 14 7.32 6.00 183 0 None 4.20 0.57 2.32
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 6 183 63.24 51.00 2,403 MAX VALUE 146.88 45.00 0.71 3.49
Cluster variables 5 57 20.03 15.50 761 MAX VALUE 107.27 12.53 0.63 3.19
Separator constraints 0 97 39.47 31.50 1,500 0 None 26.65 0.68 3.33
Separator variables 0 39 16.47 14.00 626 0 None 9.59 0.58 3.12
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 0.15 0.15 5.86 0.00 None 0.09 0.61 2.91
Degree 2 14 6.75 7.00 270 6.91e+31 73.31 2.52 0.37 2.08
Eccentricity 3 5 3.33 3.00 133 4.50e+20 47.56 0.57 0.17 0.72
Triangulated primal graph
Density: 38.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.81 0.77 32.31 0.00 -9.20 0.15 0.18 2.91
Degree 2 29 15.15 16.50 606 MAX VALUE 98.62 8.87 0.59 2.96
Eccentricity 2 3 2.62 3.00 105 2.78e+16 37.86 0.48 0.18 0.66
Dual graph
Density: 9.98%
MCB compute time (ms): 334
MCB cycles: 812
Triangles: 2,087
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 0.71 0.51 0.49 68.29 0.00 -92.71 0.05 0.11 3.80
Degree 4 26 13.38 13.00 1,806 MAX VALUE 344.19 3.84 0.29 2.64
Eccentricity 3 4 3.38 3.00 456 MAX VALUE 162.98 0.48 0.14 0.66
MCB cycle size 3 5 3.12 3.00 2,533 MAX VALUE 919.59 0.35 0.11 0.38
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 57
MCB cycles: 96
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.04 6.90 0.12
Degree 2 5 3.41 3.00 460 MAX VALUE 162.32 0.72 0.21 1.09
Eccentricity 5 8 6.66 7.00 899 MAX VALUE 255.50 0.55 0.08 0.81
MCB cycle size 3 9 6.73 7.00 646 MAX VALUE 181.29 1.19 0.18 1.53
Triangulated dual graph
Density: 40.15%
Triangles: 61,320
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.82 0.80 110.17 0.00 -28.44 0.10 0.12 4.42
Degree 4 90 53.81 65.00 7,264 MAX VALUE 507.13 28.70 0.53 3.89
Eccentricity 2 3 2.70 3.00 364 MAX VALUE 131.69 0.46 0.17 0.61
Triangulated minimal dual graph
Density: 11.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.71 105.39 0.00 -36.59 0.17 0.22 3.15
Degree 2 48 15.88 7.00 2,144 MAX VALUE 292.34 16.58 1.04 2.97
Eccentricity 3 5 3.81 4.00 514 MAX VALUE 179.03 0.55 0.14 0.82
Incidence graph
Density: 1.77%
MCB compute time (ms): 70
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 14 3.09 2.00 540 MAX VALUE 166.89 2.33 0.75 0.95
Eccentricity 6 10 7.39 7.00 1,293 MAX VALUE 349.31 0.67 0.09 0.94
MCB cycle size 6 10 7.02 7.00 674 MAX VALUE 186.04 1.04 0.15 0.74