Instance: rand-2-40-80-103-800-48_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:09
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 32 16.01 16.00 263,816 MAX VALUE 45,257.40 3.61 0.23 2.70
Relational linkage 0.05 0.26 0.15 0.15 481.57 0.00 -6,129.89 0.03 0.20 2.31
Tightness 0.78 0.82 0.80 0.80 82.39 0.00 -23.00 0.01 0.01 4.22
Tuples 1,183 1,377 1,280.66 1,283.00 131,908 MAX VALUE 736.94 35.56 0.03 4.22
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 10 5.15 5.00 206 1.59e+27 62.63 1.89 0.37 1.99
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: 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 2 13 5.96 5.00 167 3.84e+19 45.10 3.48 0.58 2.23
Cluster variables 3 13 6.82 5.50 191 1.05e+22 50.71 3.25 0.48 2.13
Separator constraints 0 9 2.29 1.00 64 0 None 3.03 1.33 1.69
Separator variables 0 12 5.39 4.00 151 0 None 3.20 0.59 2.20
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 7 73 31.03 25.00 1,179 MAX VALUE 123.08 18.80 0.61 3.38
Cluster variables 5 39 14.24 11.00 541 MAX VALUE 95.31 8.46 0.59 2.77
Separator constraints 0 39 17.89 14.50 680 0 None 11.32 0.63 3.22
Separator variables 0 29 11.53 9.50 438 0 None 6.54 0.57 2.80
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.33 0.08 0.04 3.05 0.00 None 0.09 1.20 1.96
Degree 2 10 5.15 5.00 206 1.59e+27 62.63 1.89 0.37 1.99
Eccentricity 3 4 3.65 4.00 146 2.15e+22 51.42 0.48 0.13 0.65
Triangulated primal graph
Density: 29.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.80 0.78 31.83 0.00 -10.17 0.18 0.22 2.64
Degree 2 24 11.45 10.50 458 1.26e+37 85.43 7.72 0.67 2.64
Eccentricity 2 3 2.65 3.00 106 4.16e+16 38.27 0.48 0.18 0.65
Dual graph
Density: 9.50%
MCB compute time (ms): 116
MCB cycles: 483
Triangles: 777
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.71 0.50 0.49 51.54 0.00 -72.08 0.06 0.13 3.33
Degree 4 16 9.69 10.00 998 MAX VALUE 230.12 2.55 0.26 2.30
Eccentricity 3 5 3.96 4.00 408 MAX VALUE 141.51 0.28 0.07 0.32
MCB cycle size 3 6 3.45 3.00 1,666 MAX VALUE 587.75 0.77 0.22 0.81
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 41
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.53 0.62 0.19 0.94
Eccentricity 5 9 6.87 7.00 708 MAX VALUE 197.90 0.78 0.11 1.15
MCB cycle size 5 9 6.97 7.00 446 MAX VALUE 123.43 1.09 0.16 1.47
Triangulated dual graph
Density: 34.74%
Triangles: 20,401
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.58 1.00 0.80 0.78 82.81 0.00 -23.45 0.11 0.14 4.11
Degree 4 68 35.44 32.00 3,650 MAX VALUE 340.86 20.74 0.59 3.62
Eccentricity 2 3 2.50 3.00 258 MAX VALUE 92.48 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 12.07%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.77 0.68 78.82 0.00 -30.96 0.19 0.25 2.83
Degree 2 39 12.31 5.00 1,268 MAX VALUE 207.59 11.99 0.97 2.75
Eccentricity 3 5 3.73 4.00 384 MAX VALUE 134.47 0.52 0.14 0.77
Incidence graph
Density: 2.03%
MCB compute time (ms): 58
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 10 2.88 2.00 412 MAX VALUE 134.03 1.73 0.60 1.05
Eccentricity 7 10 8.08 8.00 1,155 MAX VALUE 298.32 0.62 0.08 0.93
MCB cycle size 6 12 7.91 8.00 506 MAX VALUE 131.53 1.25 0.16 0.93