Instance: rand-2-40-11-414-200-58_ext
Number of variables: 40
Number of constraints: 414
Satisfiable: None
Timestamp: 2017-10-27 10:56:43
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 414
General features
Number of coarse blocks: 9,108
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 828 MAX VALUE 286.96 0.00 0.00 0.00
Coarse blocks size 3 11 8.81 9.00 80,252 MAX VALUE 19,708.40 1.32 0.15 1.66
Relational linkage 0.27 0.73 0.56 0.55 247.18 0.00 -258.68 0.08 0.14 1.28
Tightness 0.11 0.34 0.20 0.20 82.38 0.00 -675.87 0.04 0.19 2.88
Tuples 80 108 96.92 97.00 40,126 MAX VALUE 1,893.13 4.57 0.05 2.88
Domain size 11 11 11.00 11.00 440 MAX VALUE 95.92 0.00 0.00 0.00
Constraints per subscope 10 27 20.70 22.00 828 MAX VALUE 120.18 4.39 0.21 2.55
Partitions per subscope 11 11 11.00 11.00 440 MAX VALUE 95.92 0.00 0.00 0.00
Tree decomposition
Number of clusters: 12
Number of leaves: 6
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 39 251 143.17 119.50 1,718 9.80e+24 57.54 75.77 0.53 2.48
Cluster variables 11 29 20.92 19.50 251 3.95e+15 35.91 6.17 0.30 2.09
Separator constraints 0 236 108.67 92.50 1,304 0 None 75.32 0.69 2.48
Separator variables 0 28 17.58 18.00 211 0 None 7.76 0.44 2.25
Dual tree decomposition
Number of clusters: 38
Number of leaves: 19
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 166 3,228 864.89 573.50 32,866 MAX VALUE 246.50 720.92 0.83 3.60
Cluster variables 25 253 76.84 52.50 2,920 MAX VALUE 157.28 55.72 0.73 3.39
Separator constraints 0 1,777 640.11 519.00 24,324 0 None 423.78 0.66 3.60
Separator variables 0 189 65.95 49.50 2,506 0 None 42.40 0.64 3.40
Primal graph
Density: 53.08%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.64 0.56 0.55 22.43 0.00 -23.25 0.04 0.07 3.55
Degree 10 27 20.70 22.00 828 MAX VALUE 120.18 4.39 0.21 2.55
Eccentricity 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00
Triangulated primal graph
Density: 79.10%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.90 0.89 36.11 0.02 -4.17 0.06 0.06 3.39
Degree 10 39 30.85 34.00 1,234 MAX VALUE 135.32 7.69 0.25 2.47
Eccentricity 1 2 1.98 2.00 79 5.50e+11 27.03 0.16 0.08 0.12
Dual graph
Density: 9.99%
MCB compute time (ms): 15,012
MCB cycles: 8,765
Triangles: 59,776
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.62 0.51 0.51 212.80 0.00 -275.79 0.02 0.04 5.22
Degree 24 52 41.27 41.00 17,084 MAX VALUE 1,536.30 5.45 0.13 3.04
Eccentricity 2 3 2.99 3.00 1,236 MAX VALUE 452.39 0.12 0.04 0.08
MCB cycle size 3 4 3.01 3.00 26,389 MAX VALUE 9,656.38 0.10 0.03 0.06
Minimal dual graph
Density: 0.92%
MCB compute time (ms): 2,043
MCB cycles: 375
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.02 12.17 0.05
Degree 2 6 3.81 4.00 1,576 MAX VALUE 542.26 0.90 0.24 1.22
Eccentricity 7 10 8.29 8.00 3,431 MAX VALUE 873.89 0.73 0.09 1.10
MCB cycle size 3 10 6.60 7.00 2,476 MAX VALUE 701.28 1.18 0.18 1.58
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 9.27%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.82 0.78 339.18 0.00 -88.66 0.14 0.17 3.77
Degree 2 132 38.27 8.00 15,844 MAX VALUE 1,093.23 48.49 1.27 3.45
Eccentricity 3 5 4.10 4.00 1,698 MAX VALUE 580.01 0.58 0.14 0.87
Incidence graph
Density: 0.81%
MCB compute time (ms): 535
MCB cycles: 375
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 27 3.65 2.00 1,656 MAX VALUE 407.14 5.46 1.50 0.52
Eccentricity 5 6 5.90 6.00 2,678 MAX VALUE 805.07 0.30 0.05 0.33
MCB cycle size 6 6 6.00 6.00 2,250 MAX VALUE 671.91 0.00 0.00 0.00