Instance: rand-2-40-80-103-800-45_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:03
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.09 16.00 263,801 MAX VALUE 45,133.80 3.56 0.22 2.69
Relational linkage 0.05 0.29 0.15 0.15 476.70 0.00 -5,927.49 0.03 0.20 2.30
Tightness 0.79 0.81 0.80 0.80 82.29 0.00 -23.12 0.00 0.01 4.19
Tuples 1,228 1,359 1,286.68 1,288.00 132,528 MAX VALUE 737.44 27.65 0.02 4.19
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 11 5.26 5.00 205 3.80e+26 61.20 2.18 0.41 2.03
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: 14
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 21 6.86 5.50 192 2.05e+20 46.77 4.92 0.72 2.41
Cluster variables 2 13 6.43 5.00 180 1.52e+21 48.77 3.19 0.50 2.20
Separator constraints 0 17 3.18 1.00 89 0 None 4.32 1.36 1.97
Separator variables 0 12 5.00 4.00 140 0 None 3.08 0.62 2.26
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 4 101 33.76 24.00 1,283 MAX VALUE 122.75 25.15 0.74 3.38
Cluster variables 4 39 14.18 11.50 539 MAX VALUE 94.28 8.96 0.63 2.79
Separator constraints 0 55 19.84 15.00 754 0 None 15.24 0.77 3.25
Separator variables 0 30 11.47 10.00 436 0 None 6.99 0.61 2.85
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 None 0.14 None None None None None 2.48
Degree 1 11 5.15 5.00 206 3.80e+26 61.20 2.25 0.44 2.09
Eccentricity 3 4 3.70 4.00 148 3.83e+22 52.00 0.46 0.12 0.61
Triangulated primal graph
Density: 27.95%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 None 0.73 None None None None None 3.04
Degree 1 24 10.90 8.00 436 6.17e+35 82.41 7.67 0.70 2.75
Eccentricity 2 4 2.95 3.00 118 3.00e+18 42.54 0.55 0.18 0.81
Dual graph
Density: 10.07%
MCB compute time (ms): 58
MCB cycles: 475
Triangles: 939
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.52 0.50 53.26 0.00 -69.18 0.09 0.17 3.56
Degree 3 19 10.27 10.00 1,058 MAX VALUE 234.52 3.16 0.31 2.46
Eccentricity 3 4 3.87 4.00 399 MAX VALUE 139.05 0.33 0.09 0.38
MCB cycle size 3 6 3.25 3.00 1,542 MAX VALUE 553.12 0.59 0.18 0.60
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 18
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.17 0.68 0.21 1.03
Eccentricity 5 8 6.76 7.00 696 MAX VALUE 196.42 0.57 0.08 0.85
MCB cycle size 4 9 6.78 7.00 434 MAX VALUE 121.39 1.19 0.18 1.48
Triangulated dual graph
Density: 35.50%
Triangles: 21,571
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.81 0.80 83.25 0.00 -22.82 0.11 0.13 4.14
Degree 3 68 36.21 40.00 3,730 MAX VALUE 341.57 21.30 0.59 3.73
Eccentricity 2 3 2.54 3.00 262 MAX VALUE 94.10 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 12.39%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.75 0.67 77.71 0.00 -32.15 0.19 0.25 3.10
Degree 2 38 12.64 6.00 1,302 MAX VALUE 210.58 12.08 0.96 2.90
Eccentricity 3 5 3.92 4.00 404 MAX VALUE 139.45 0.62 0.16 0.93
Incidence graph
Density: 2.03%
MCB compute time (ms): 28
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.45
Degree 1 11 2.88 2.00 412 MAX VALUE 132.60 1.85 0.64 1.06
Eccentricity 7 9 8.05 8.00 1,151 MAX VALUE 297.79 0.63 0.08 0.95
MCB cycle size 6 12 7.31 8.00 468 MAX VALUE 126.39 1.29 0.18 0.91