Instance: scen06-sub2_ext
Number of variables: 32
Number of constraints: 369
Satisfiable: None
Timestamp: 2017-10-27 10:55:12
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 32
Number of constraints: 369
General features
Number of coarse blocks: 31,066
Number of unique subscopes: 32
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 738 MAX VALUE 255.77 0.00 0.00 0.00
Coarse blocks size 1 43 24.69 27.00 766,956 MAX VALUE 92,870.90 11.22 0.45 3.46
Relational linkage 0.02 0.03 0.02 0.02 27.01 0.00 -4,373.55 0.00 0.07 0.33
Tightness 0.02 0.98 0.45 0.39 165.55 0.00 -379.16 0.25 0.56 3.81
Tuples 36 1,892 1,039.24 1,138.00 383,478 MAX VALUE 2,485.58 485.59 0.47 3.81
Domain size 36 44 43.00 44.00 1,376 MAX VALUE 120.29 2.65 0.06 0.38
Constraints per subscope 15 31 23.06 23.00 738 MAX VALUE 99.69 4.83 0.21 1.72
Partitions per subscope 36 44 43.00 44.00 1,376 MAX VALUE 120.29 2.65 0.06 0.38
Tree decomposition
Number of clusters: 4
Number of leaves: 2
Tree depth: 2
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 83 202 148.75 155.00 595 382,265,000 19.76 49.21 0.33 1.39
Cluster variables 14 21 17.75 18.00 71 94,080 11.45 2.86 0.16 1.39
Separator constraints 0 78 56.50 74.00 226 0 None 32.78 0.58 1.04
Separator variables 0 13 9.75 13.00 39 0 None 5.63 0.58 0.56
Dual tree decomposition
Number of clusters: 30
Number of leaves: 16
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 224 2,648 975.47 728.00 29,264 MAX VALUE 200.00 659.45 0.68 2.83
Cluster variables 29 177 75.97 57.00 2,279 MAX VALUE 125.66 42.87 0.56 2.70
Separator constraints 0 1,680 691.67 665.00 20,750 0 None 383.64 0.55 2.83
Separator variables 0 129 63.67 52.00 1,910 0 None 31.59 0.50 2.74
Primal graph
Density: 74.40%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.88 0.87 28.27 0.02 -4.15 0.09 0.10 1.53
Degree 15 31 23.06 23.00 738 MAX VALUE 99.69 4.83 0.21 1.72
Eccentricity 1 2 1.88 2.00 60 268,435,000 19.41 0.33 0.18 0.38
Triangulated primal graph
Density: 76.01%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.89 0.87 28.47 0.02 -3.89 0.09 0.10 1.53
Degree 15 31 23.56 24.00 754 MAX VALUE 100.37 4.87 0.21 1.72
Eccentricity 1 2 1.88 2.00 60 268,435,000 19.41 0.33 0.18 0.38
Dual graph
Density: 12.54%
MCB compute time (ms): 4,130
MCB cycles: 8,221
Triangles: 67,800
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.57 0.52 0.51 191.94 0.00 -241.32 0.01 0.03 2.55
Degree 28 60 46.15 48.00 17,028 MAX VALUE 1,410.18 6.38 0.14 1.91
Eccentricity 2 3 2.50 3.00 924 MAX VALUE 331.19 0.50 0.20 0.69
MCB cycle size 3 3 3.00 3.00 24,663 MAX VALUE 9,031.69 0.00 0.00 0.00
Minimal dual graph
Density: 1.04%
MCB compute time (ms): 716
MCB cycles: 339
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.03 11.48 0.05
Degree 2 7 3.83 4.00 1,412 MAX VALUE 484.94 0.93 0.24 1.21
Eccentricity 8 11 9.58 10.00 3,535 MAX VALUE 832.54 0.80 0.08 1.17
MCB cycle size 3 12 6.04 6.00 2,046 MAX VALUE 602.25 1.22 0.20 1.51
Triangulated dual graph
Density: 56.22%
Triangles: 2,353,590
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.84 0.85 310.88 0.00 -64.99 0.08 0.10 3.61
Degree 28 334 206.91 234.00 76,348 MAX VALUE 1,932.48 73.25 0.35 2.94
Eccentricity 2 3 2.50 3.00 924 MAX VALUE 331.19 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 8.87%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.80 0.75 296.10 0.00 -87.91 0.15 0.19 3.76
Degree 2 116 32.65 9.00 12,046 MAX VALUE 957.58 39.95 1.22 3.45
Eccentricity 3 5 3.92 4.00 1,447 MAX VALUE 500.10 0.58 0.15 0.87
Incidence graph
Density: 0.92%
MCB compute time (ms): 209
MCB cycles: 338
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 31 3.68 2.00 1,476 MAX VALUE 355.46 5.87 1.59 0.42
Eccentricity 3 6 4.99 5.00 2,000 MAX VALUE 636.42 0.98 0.20 0.95
MCB cycle size 6 6 6.00 6.00 2,028 MAX VALUE 605.62 0.00 0.00 0.00