Instance: normalized-dlx1c-rwmem-ucl_ext
Number of variables: 9051
Number of constraints: 8862
Satisfiable: None
Timestamp: 2018-04-21 10:45:56
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 9051
Number of constraints: 8862
General features
Coarse blocks: 429,077
Value tables: 9,098
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 3.34 3.00 29,582 MAX VALUE 10,164.00 1.65 0.49 0.38
Coarse blocks size 1 528 3.49 1.00 1,496,800 MAX VALUE 114,059.00 20.82 5.97 0.60
Relational linkage 0.25 1.00 0.49 0.50 91,965.40 0.00 -135,980.00 0.05 0.10 0.20
Tightness 0.00 0.62 0.50 0.50 4,430.50 0.00 None 0.01 0.02 0.01
Tuples 1 1,024 43.82 4.00 388,362 MAX VALUE 14,357.10 190.32 4.34 0.39
Values 1 2 2.00 2.00 18,098 MAX VALUE 6,270.90 0.02 0.01 0.00
Value table constraints 2 96 2.93 2.00 26,652 MAX VALUE 7,885.05 3.99 1.36 0.86
Value table partitions 1 1,024 20.67 2.00 188,017 MAX VALUE 7,525.97 133.86 6.48 0.15
Tree decomposition
Number of clusters: 7,869
Number of leaves: 3,487
Tree depth: 54
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 50 1.44 2.00 11,360 0 None 2.19 1.52 1.27
Cluster variables 2 330 11.96 6.00 94,111 MAX VALUE 16,238.20 22.87 1.91 2.42
Separator constraints 0 47 0.32 0.00 2,498 0 None 1.98 6.25 0.53
Separator variables 0 281 10.81 5.00 85,060 0 None 22.05 2.04 2.42
Dual tree decomposition
Number of clusters: 5,031
Number of leaves: 1,876
Tree depth: 88
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 14,293 309.94 8.00 1,559,320 0 None 1,044.55 3.37 4.38
Cluster variables 2 898 37.48 8.00 188,559 MAX VALUE 12,844.80 84.05 2.24 3.57
Separator constraints 0 10,617 290.56 4.00 1,461,820 0 None 977.13 3.36 3.98
Separator variables 0 706 35.72 7.00 179,697 0 None 79.96 2.24 3.56
Primal graph
Density: 0.08%
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.01 1.00 None 0.33 None None None None None 1.43
Degree 1 191 7.43 4.00 67,214 MAX VALUE 14,891.90 14.04 1.89 1.27
Eccentricity 8 15 11.20 11.00 101,356 MAX VALUE 21,820.20 1.12 0.10 1.52
Triangulated primal graph
Density: 0.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 None 0.87 None None None None None 3.77
Degree 1 1,201 53.84 8.00 487,264 MAX VALUE 22,272.40 142.00 2.64 3.26
Eccentricity 4 7 5.32 5.00 48,125 MAX VALUE 15,075.50 0.55 0.10 0.81
Dual graph
Density: 0.25%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,081,170
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.98 None 0.47 None None None None None 4.63
Degree 1 103 22.00 13.00 195,006 MAX VALUE 22,164.60 23.89 1.09 3.53
Eccentricity 8 14 10.56 10.00 93,585 MAX VALUE 20,843.50 1.07 0.10 1.47
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.04%
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 None 0.00 None None None None None 0.43
Degree 1 7 3.86 4.00 34,204 MAX VALUE 11,781.90 0.81 0.21 1.15
Eccentricity 14 22 17.46 17.00 154,743 MAX VALUE 25,324.30 1.20 0.07 1.60
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: 2.20%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.80 None None None None None 5.13
Degree 1 1,759 194.70 8.00 1,725,440 MAX VALUE 27,065.80 368.69 1.89 4.37
Eccentricity 4 7 5.08 5.00 44,985 MAX VALUE 14,331.30 0.61 0.12 0.93
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-dlx1c-rwmem-ucl_ext/Incidence1.pdf
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 1.13
Degree 1 96 3.30 3.00 59,164 MAX VALUE 18,321.90 3.80 1.15 1.17
Eccentricity 16 30 22.27 22.00 398,836 MAX VALUE 55,499.40 2.18 0.10 2.18
MCB cycle size None None None None None None None None None None