Instance: rand-2-40-80-103-800-19_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:53
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 103
General features
Number of coarse blocks: 16,480
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 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 4 34 16.04 16.00 264,392 MAX VALUE 45,304.10 3.58 0.22 2.69
Relational linkage 0.05 0.26 0.15 0.15 483.07 0.00 -6,113.94 0.03 0.19 2.26
Tightness 0.78 0.81 0.80 0.80 82.34 0.00 -23.06 0.01 0.01 4.16
Tuples 1,214 1,382 1,283.46 1,283.00 132,196 MAX VALUE 737.17 33.77 0.03 4.16
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 9 5.15 5.00 206 2.61e+27 63.13 1.75 0.34 1.87
Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Tree decomposition
Number of clusters: 28
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 13 6.39 5.50 179 8.65e+20 48.21 3.22 0.50 2.22
Cluster variables 3 13 7.04 6.00 197 3.51e+22 51.91 3.17 0.45 2.01
Separator constraints 0 9 2.71 1.50 76 0 None 2.97 1.10 1.97
Separator variables 0 12 5.61 5.00 157 0 None 3.14 0.56 2.09
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
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 9 71 29.42 24.00 1,118 MAX VALUE 123.14 15.35 0.52 3.06
Cluster variables 6 34 13.87 12.00 527 MAX VALUE 95.38 7.27 0.52 2.69
Separator constraints 0 42 16.55 14.00 629 0 None 9.62 0.58 2.96
Separator variables 0 25 11.16 9.50 424 0 None 5.59 0.50 2.68
Primal graph
Density: 13.21%
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.10 0.07 3.86 0.00 None 0.12 1.28 2.04
Degree 2 9 5.15 5.00 206 2.61e+27 63.13 1.75 0.34 1.87
Eccentricity 3 4 3.50 3.50 140 3.83e+21 49.70 0.50 0.14 0.69
Triangulated primal graph
Density: 30.13%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.79 0.78 31.62 0.00 -10.35 0.17 0.21 2.83
Degree 2 27 11.75 9.00 470 9.44e+37 87.44 7.77 0.66 2.72
Eccentricity 2 3 2.67 3.00 107 6.25e+16 38.67 0.47 0.18 0.63
Dual graph
Density: 9.31%
MCB compute time (ms): 75
MCB cycles: 397
Triangles: 736
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.75 0.50 0.48 51.32 0.00 -72.55 0.06 0.13 3.31
Degree 5 15 9.50 9.00 978 MAX VALUE 228.86 2.22 0.23 2.17
Eccentricity 3 4 3.91 4.00 403 MAX VALUE 140.20 0.28 0.07 0.30
MCB cycle size 3 6 3.20 3.00 1,270 MAX VALUE 457.54 0.51 0.16 0.52
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 20
MCB cycles: 64
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.22 3.00 332 MAX VALUE 118.00 0.70 0.22 1.05
Eccentricity 6 8 6.58 7.00 678 MAX VALUE 193.70 0.58 0.09 0.85
MCB cycle size 4 9 6.72 7.00 430 MAX VALUE 121.12 1.02 0.15 1.42
Triangulated dual graph
Density: 31.35%
Triangles: 15,763
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.79 0.77 81.54 0.00 -25.42 0.13 0.16 4.18
Degree 5 65 31.98 29.00 3,294 MAX VALUE 332.80 18.64 0.58 3.67
Eccentricity 2 3 2.67 3.00 275 MAX VALUE 99.37 0.47 0.18 0.63
Triangulated minimal dual graph
Density: 11.86%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.76 0.68 78.53 0.00 -31.19 0.19 0.25 2.89
Degree 2 35 12.10 5.00 1,246 MAX VALUE 204.63 11.94 0.99 2.78
Eccentricity 3 5 3.77 4.00 388 MAX VALUE 135.63 0.51 0.13 0.74
Incidence graph
Density: 2.03%
MCB compute time (ms): 27
MCB cycles: 64
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 9 2.88 2.00 412 MAX VALUE 134.52 1.69 0.59 1.08
Eccentricity 7 9 7.90 8.00 1,129 MAX VALUE 295.14 0.54 0.07 0.80
MCB cycle size 6 10 7.84 8.00 502 MAX VALUE 131.00 1.24 0.16 0.93