Instance: rand-2-40-40-135-650-11_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:46
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 2 25 14.03 14.00 151,476 MAX VALUE 28,258.60 3.00 0.21 2.52
Relational linkage 0.05 0.40 0.26 0.25 409.60 0.00 -2,210.18 0.05 0.19 2.06
Tightness 0.62 0.68 0.65 0.65 87.66 0.00 -58.31 0.01 0.02 4.04
Tuples 510 605 561.02 562.00 75,738 MAX VALUE 854.44 19.29 0.03 4.04
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 12 6.75 7.00 270 1.63e+32 74.17 2.12 0.31 2.06
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: 23
Number of leaves: 12
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 33 12.26 9.00 282 3.10e+22 51.79 8.51 0.69 2.61
Cluster variables 4 18 9.09 8.00 209 8.36e+20 48.17 4.42 0.49 2.25
Separator constraints 0 26 6.39 4.00 147 0 None 7.06 1.10 2.43
Separator variables 0 17 7.35 6.00 169 0 None 4.29 0.58 2.31
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 6 137 59.63 59.00 2,266 MAX VALUE 146.99 34.58 0.58 3.38
Cluster variables 5 51 19.63 16.00 746 MAX VALUE 107.39 11.30 0.58 2.98
Separator constraints 0 79 36.84 33.00 1,400 0 None 21.19 0.58 3.38
Separator variables 0 38 16.08 14.50 611 0 None 8.55 0.53 2.98
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.50 0.20 0.20 7.95 0.00 None 0.10 0.52 2.96
Degree 3 12 6.75 7.00 270 1.63e+32 74.17 2.12 0.31 2.06
Eccentricity 3 4 3.15 3.00 126 6.83e+19 45.67 0.36 0.11 0.42
Triangulated primal graph
Density: 41.28%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.82 0.81 32.73 0.00 -8.55 0.13 0.16 2.94
Degree 3 28 16.10 19.00 644 MAX VALUE 101.81 9.10 0.57 2.86
Eccentricity 2 3 2.48 2.00 99 2.44e+15 35.43 0.50 0.20 0.69
Dual graph
Density: 9.57%
MCB compute time (ms): 333
MCB cycles: 878
Triangles: 1,815
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 0.65 0.50 0.49 67.27 0.00 -94.43 0.04 0.08 3.73
Degree 4 20 12.83 13.00 1,732 MAX VALUE 340.04 3.09 0.24 2.52
Eccentricity 3 4 3.61 4.00 488 MAX VALUE 172.19 0.49 0.13 0.67
MCB cycle size 3 6 3.28 3.00 2,876 MAX VALUE 1,030.35 0.58 0.18 0.65
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 67
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 162.49 0.71 0.21 1.07
Eccentricity 5 8 6.82 7.00 921 MAX VALUE 258.62 0.64 0.09 0.97
MCB cycle size 4 9 6.68 7.00 641 MAX VALUE 180.83 1.11 0.17 1.47
Triangulated dual graph
Density: 37.37%
Triangles: 51,464
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.81 0.77 108.86 0.00 -30.37 0.11 0.14 4.25
Degree 4 87 50.07 61.00 6,760 MAX VALUE 499.07 26.96 0.54 3.73
Eccentricity 2 3 2.49 2.00 336 MAX VALUE 120.34 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 12.10%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.77 0.70 104.12 0.00 -38.20 0.17 0.22 3.22
Degree 2 51 16.21 7.00 2,188 MAX VALUE 298.67 16.44 1.01 3.05
Eccentricity 3 5 3.79 4.00 511 MAX VALUE 178.16 0.56 0.15 0.84
Incidence graph
Density: 1.77%
MCB compute time (ms): 74
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.75 2.24 0.72 1.01
Eccentricity 6 8 7.48 8.00 1,309 MAX VALUE 351.65 0.55 0.07 0.80
MCB cycle size 6 10 6.83 6.00 656 MAX VALUE 183.32 1.11 0.16 0.78