Instance: miles1000-5_ext
Number of variables: 128
Number of constraints: 3216
Satisfiable: None
Timestamp: 2017-10-27 10:54:43
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 128
Number of constraints: 3216
General features
Number of coarse blocks: 32,160
Number of unique subscopes: 128
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 6,432 MAX VALUE 2,229.16 0.00 0.00 0.00
Coarse blocks size 4 4 4.00 4.00 128,640 MAX VALUE 44,583.20 0.00 0.00 0.00
Relational linkage 0.80 0.80 0.80 0.80 512.00 0.00 -142.81 0.00 0.00 0.00
Tightness 0.20 0.20 0.20 0.20 643.20 0.00 -5,175.95 0.00 0.00 0.00
Tuples 20 20 20.00 20.00 64,320 MAX VALUE 9,634.27 0.00 0.00 0.00
Domain size 5 5 5.00 5.00 640 MAX VALUE 206.01 0.00 0.00 0.00
Constraints per subscope 13 86 50.25 53.50 6,432 MAX VALUE 488.98 19.97 0.40 3.95
Partitions per subscope 5 5 5.00 5.00 640 MAX VALUE 206.01 0.00 0.00 0.00
Tree decomposition
Number of clusters: 59
Number of leaves: 4
Tree depth: 26
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 57 1,109 606.24 794.00 35,768 MAX VALUE 358.10 374.47 0.62 4.03
Cluster variables 13 51 35.12 43.00 2,072 MAX VALUE 204.62 13.10 0.37 2.95
Separator constraints 0 1,029 551.73 723.00 32,552 0 None 363.80 0.66 4.05
Separator variables 0 48 32.95 42.00 1,944 0 None 13.76 0.42 2.99
Dual tree decomposition
Number of clusters: 126
Number of leaves: 59
Tree depth: 11
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 243 48,760 6,955.92 3,870.50 876,446 MAX VALUE 1,032.78 9,168.65 1.32 4.84
Cluster variables 30 1,317 227.16 136.50 28,622 MAX VALUE 634.55 251.20 1.11 4.68
Separator constraints 0 27,399 5,496.30 3,624.00 692,534 0 None 5,954.15 1.08 4.83
Separator variables 0 996 201.63 127.50 25,406 0 None 198.49 0.98 4.72
Primal graph
Density: 39.57%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.78 100.31 0.00 -32.35 0.10 0.13 4.78
Degree 13 86 50.25 53.50 6,432 MAX VALUE 488.98 19.97 0.40 3.95
Eccentricity 3 4 3.58 4.00 458 MAX VALUE 161.91 0.49 0.14 0.68
Triangulated primal graph
Density: 46.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.83 0.84 106.85 0.00 -24.02 0.10 0.12 4.54
Degree 13 91 58.80 64.00 7,526 MAX VALUE 509.06 22.41 0.38 3.86
Eccentricity 2 4 3.51 4.00 449 MAX VALUE 159.20 0.52 0.15 0.73
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.12%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.13 0.00 None 0.01 26.77 0.02
Degree 2 7 3.92 4.00 12,608 MAX VALUE 4,332.11 0.78 0.20 1.13
Eccentricity 11 16 13.66 14.00 43,926 MAX VALUE 8,400.87 0.89 0.07 1.31
MCB cycle size None None None None None None None None None None
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 5.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.85 0.86 2,739.26 0.00 -556.69 0.13 0.16 4.70
Degree 2 882 182.45 10.00 586,746 MAX VALUE 10,301.50 293.09 1.61 4.24
Eccentricity 3 6 4.60 5.00 14,782 MAX VALUE 4,881.53 0.55 0.12 0.81
Incidence graph
Density: 0.12%
MCB compute time (ms): None
MCB cycles: None
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 86 3.85 2.00 12,864 MAX VALUE 2,718.14 10.05 2.61 0.31
Eccentricity 6 10 8.44 8.00 28,210 MAX VALUE 7,104.09 1.05 0.12 1.35
MCB cycle size None None None None None None None None None None