Instance: rand-2-40-80-103-800-57_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,400
Number of unique subscopes: 39
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.00 16.00 262,340 MAX VALUE 45,033.10 3.57 0.22 2.69
Relational linkage 0.05 0.29 0.15 0.15 469.93 0.00 -5,974.91 0.03 0.20 2.31
Tightness 0.79 0.81 0.80 0.80 82.40 0.00 -22.98 0.00 0.01 4.18
Tuples 1,219 1,352 1,279.88 1,277.00 131,828 MAX VALUE 736.89 30.23 0.02 4.18
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.26 5.00 205 5.39e+26 61.55 1.97 0.37 2.04
Partitions per subscope 80 80 80.00 80.00 3,120 MAX VALUE 170.90 0.00 0.00 0.00
Tree decomposition
Number of clusters: 28
Number of leaves: 13
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 1 14 5.96 5.00 167 6.12e+19 45.56 3.21 0.54 2.23
Cluster variables 2 13 6.57 5.50 184 2.43e+21 49.24 3.25 0.49 2.22
Separator constraints 0 9 2.29 1.00 64 0 None 2.71 1.19 1.77
Separator variables 0 12 5.14 4.00 144 0 None 3.16 0.61 2.26
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 9 95 32.37 28.00 1,230 MAX VALUE 125.32 20.68 0.64 3.35
Cluster variables 6 37 13.92 11.50 529 MAX VALUE 95.14 7.65 0.55 2.74
Separator constraints 0 65 18.89 14.50 718 0 None 13.19 0.70 2.93
Separator variables 0 26 11.21 9.50 426 0 None 5.86 0.52 2.76
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 1.00 None 0.13 None None None None None 2.59
Degree 1 10 5.15 5.00 206 5.39e+26 61.55 2.06 0.40 2.10
Eccentricity 3 5 3.70 4.00 148 3.37e+22 51.87 0.56 0.15 0.82
Triangulated primal graph
Density: 28.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 None 0.74 None None None None None 2.88
Degree 1 25 11.10 9.50 444 1.10e+36 82.98 7.68 0.69 2.75
Eccentricity 2 4 3.00 3.00 120 6.00e+18 43.24 0.55 0.18 0.82
Dual graph
Density: 9.75%
MCB compute time (ms): 84
MCB cycles: 421
Triangles: 826
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 1.00 0.51 0.48 53.00 0.00 -69.90 0.10 0.19 3.49
Degree 5 17 9.94 10.00 1,024 MAX VALUE 232.99 2.58 0.26 2.30
Eccentricity 3 4 3.77 4.00 388 MAX VALUE 135.88 0.42 0.11 0.54
MCB cycle size 3 5 3.15 3.00 1,328 MAX VALUE 480.50 0.43 0.14 0.45
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 18
MCB cycles: 65
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.52 0.64 0.20 0.95
Eccentricity 5 8 6.53 7.00 673 MAX VALUE 192.96 0.55 0.08 0.82
MCB cycle size 4 9 7.00 7.00 455 MAX VALUE 125.58 1.10 0.16 1.40
Triangulated dual graph
Density: 32.42%
Triangles: 17,228
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 1.00 0.80 0.77 81.92 0.00 -24.78 0.12 0.15 4.07
Degree 5 63 33.07 30.00 3,406 MAX VALUE 335.30 19.32 0.58 3.59
Eccentricity 2 3 2.60 3.00 268 MAX VALUE 96.53 0.49 0.19 0.67
Triangulated minimal dual graph
Density: 12.35%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.76 0.67 78.66 0.00 -30.77 0.18 0.24 2.83
Degree 2 37 12.60 5.00 1,298 MAX VALUE 209.72 12.23 0.97 2.83
Eccentricity 3 5 3.72 4.00 383 MAX VALUE 134.19 0.53 0.14 0.78
Incidence graph
Density: 2.03%
MCB compute time (ms): 25
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 None 0.00 None None None None None 0.26
Degree 1 10 2.88 2.00 412 MAX VALUE 132.95 1.78 0.62 1.06
Eccentricity 6 10 7.94 8.00 1,136 MAX VALUE 295.76 0.73 0.09 1.09
MCB cycle size 6 10 7.44 8.00 476 MAX VALUE 127.71 1.09 0.15 0.80