Instance: rand-2-40-80-103-800-4_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:04
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,320
Number of unique subscopes: 38
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 5 31 15.99 16.00 261,021 MAX VALUE 44,808.90 3.59 0.22 2.69
Relational linkage 0.06 0.28 0.15 0.15 456.84 0.00 -5,824.59 0.03 0.20 2.29
Tightness 0.79 0.81 0.80 0.80 82.41 0.00 -22.98 0.01 0.01 4.19
Tuples 1,213 1,372 1,279.58 1,280.00 131,797 MAX VALUE 736.85 35.12 0.03 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 12 5.37 5.00 204 1.80e+26 60.45 2.33 0.43 2.03
Partitions per subscope 80 80 80.00 80.00 3,040 MAX VALUE 166.52 0.00 0.00 0.00
Tree decomposition
Number of clusters: 29
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 1 17 7.41 8.00 215 8.56e+21 50.50 4.61 0.62 2.60
Cluster variables 2 12 6.66 6.00 193 2.21e+22 51.45 3.11 0.47 2.26
Separator constraints 0 15 3.86 2.00 112 0 None 4.33 1.12 2.02
Separator variables 0 11 5.28 5.00 153 0 None 3.11 0.59 2.34
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 119 35.37 26.50 1,344 MAX VALUE 122.10 29.44 0.83 3.35
Cluster variables 4 38 14.13 11.00 537 MAX VALUE 94.00 8.87 0.63 2.90
Separator constraints 0 95 20.92 15.50 795 0 None 19.20 0.92 3.38
Separator variables 0 29 11.42 10.00 434 0 None 6.92 0.61 2.93
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.40 None 0.13 None None None None None 2.43
Degree 1 12 5.15 5.00 206 1.80e+26 60.45 2.47 0.48 2.13
Eccentricity 3 5 4.05 4.00 162 1.46e+24 55.64 0.50 0.12 0.73
Triangulated primal graph
Density: 28.08%
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 3.10
Degree 1 25 10.95 9.00 438 6.96e+35 82.53 7.53 0.69 2.90
Eccentricity 2 4 2.98 3.00 119 4.00e+18 42.83 0.57 0.19 0.85
Dual graph
Density: 10.45%
MCB compute time (ms): 98
MCB cycles: 466
Triangles: 1,063
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.51 0.49 52.89 0.00 -70.40 0.10 0.20 3.68
Degree 3 21 10.66 10.00 1,098 MAX VALUE 236.42 3.87 0.36 2.65
Eccentricity 3 5 3.83 4.00 394 MAX VALUE 137.29 0.49 0.13 0.71
MCB cycle size 3 6 3.16 3.00 1,471 MAX VALUE 531.84 0.46 0.14 0.45
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 25
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.43 0.00 None 0.02 5.91 0.15
Degree 2 5 3.22 3.00 332 MAX VALUE 118.00 0.70 0.22 1.05
Eccentricity 6 8 7.00 7.00 721 MAX VALUE 200.10 0.56 0.08 0.83
MCB cycle size 3 10 6.66 7.00 426 MAX VALUE 119.70 1.41 0.21 1.68
Triangulated dual graph
Density: 35.22%
Triangles: 20,981
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.58 1.00 0.80 0.79 82.86 0.00 -23.35 0.11 0.14 4.11
Degree 3 70 35.92 42.00 3,700 MAX VALUE 341.43 20.89 0.58 3.72
Eccentricity 2 4 2.89 3.00 298 MAX VALUE 107.75 0.50 0.17 0.73
Triangulated minimal dual graph
Density: 12.26%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.76 0.67 78.14 0.00 -31.20 0.18 0.23 2.95
Degree 2 38 12.50 6.00 1,288 MAX VALUE 208.07 12.27 0.98 2.82
Eccentricity 3 5 3.74 4.00 385 MAX VALUE 134.76 0.52 0.14 0.76
Incidence graph
Density: 2.03%
MCB compute time (ms): 36
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.78
Degree 1 12 2.88 2.00 412 MAX VALUE 131.85 1.92 0.67 1.12
Eccentricity 6 11 8.39 8.00 1,200 MAX VALUE 303.27 0.95 0.11 1.32
MCB cycle size 6 12 7.38 8.00 472 MAX VALUE 126.90 1.32 0.18 0.95