Instance: rand-2-40-40-135-650-17_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:32
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 28 14.02 14.00 151,384 MAX VALUE 28,243.00 3.05 0.22 2.53
Relational linkage 0.10 0.45 0.25 0.25 404.32 0.00 -2,230.94 0.05 0.19 2.05
Tightness 0.62 0.68 0.65 0.65 87.69 0.00 -58.27 0.01 0.02 4.02
Tuples 506 605 560.68 562.00 75,692 MAX VALUE 854.34 21.03 0.04 4.02
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 10 6.75 7.00 270 2.17e+32 74.46 1.93 0.29 1.96
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: 11
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 3 30 12.61 10.00 290 1.19e+23 53.14 8.25 0.65 2.38
Cluster variables 4 18 9.52 9.00 219 2.53e+21 49.28 4.40 0.46 2.46
Separator constraints 0 22 6.74 4.00 155 0 None 7.10 1.05 2.40
Separator variables 0 16 7.78 7.00 179 0 None 4.34 0.56 2.46
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 12 158 61.11 54.50 2,322 MAX VALUE 148.78 36.40 0.60 3.60
Cluster variables 7 55 20.50 15.50 779 MAX VALUE 108.91 12.34 0.60 3.05
Separator constraints 0 85 38.71 38.50 1,471 0 None 22.35 0.58 3.42
Separator variables 0 41 16.95 14.00 644 0 None 9.44 0.56 2.93
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.16 0.18 6.55 0.00 None 0.09 0.52 2.84
Degree 3 10 6.75 7.00 270 2.17e+32 74.46 1.93 0.29 1.96
Eccentricity 3 4 3.15 3.00 126 6.83e+19 45.67 0.36 0.11 0.42
Triangulated primal graph
Density: 42.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.82 0.78 32.77 0.00 -8.49 0.13 0.16 2.99
Degree 3 31 16.60 20.50 664 MAX VALUE 103.40 9.06 0.55 2.81
Eccentricity 2 3 2.42 2.00 97 1.08e+15 34.62 0.49 0.20 0.68
Dual graph
Density: 9.41%
MCB compute time (ms): 394
MCB cycles: 837
Triangles: 1,698
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.69 0.49 0.49 66.80 0.00 -95.46 0.04 0.09 3.57
Degree 6 18 12.61 13.00 1,702 MAX VALUE 339.05 2.58 0.20 2.30
Eccentricity 3 4 3.52 4.00 475 MAX VALUE 168.45 0.50 0.14 0.69
MCB cycle size 3 5 3.27 3.00 2,737 MAX VALUE 980.68 0.58 0.18 0.63
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 47
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.74 0.68 0.20 1.03
Eccentricity 6 8 6.76 7.00 912 MAX VALUE 257.49 0.52 0.08 0.77
MCB cycle size 4 10 6.70 7.00 643 MAX VALUE 181.01 1.16 0.17 1.51
Triangulated dual graph
Density: 40.46%
Triangles: 61,573
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.62 1.00 0.82 0.80 110.30 0.00 -28.36 0.10 0.13 4.49
Degree 6 99 54.22 59.00 7,320 MAX VALUE 509.94 28.42 0.52 3.98
Eccentricity 2 3 2.40 2.00 324 MAX VALUE 115.47 0.49 0.20 0.67
Triangulated minimal dual graph
Density: 12.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.71 105.63 0.00 -36.15 0.17 0.21 3.12
Degree 2 50 16.22 7.00 2,190 MAX VALUE 296.21 16.86 1.04 2.97
Eccentricity 3 5 3.73 4.00 503 MAX VALUE 176.05 0.55 0.15 0.81
Incidence graph
Density: 1.77%
MCB compute time (ms): 59
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 10 3.09 2.00 540 MAX VALUE 168.03 2.20 0.71 0.98
Eccentricity 6 8 7.38 7.00 1,292 MAX VALUE 349.30 0.58 0.08 0.86
MCB cycle size 6 10 7.04 8.00 676 MAX VALUE 186.33 1.04 0.15 0.74