Instance: normalized-ooo-rf7_ext
Number of variables: 3736
Number of constraints: 3614
Satisfiable: None
Timestamp: 2018-04-21 10:45:40
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 3736
Number of constraints: 3614
General features
Coarse blocks: 190,233
Value tables: 3,738
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 11 3.33 3.00 12,036 MAX VALUE 4,119.92 1.71 0.51 0.44
Coarse blocks size 1 528 3.54 1.00 674,310 MAX VALUE 49,998.00 21.21 5.99 0.57
Relational linkage 0.25 1.00 0.49 0.50 41,423.20 0.00 -60,764.30 0.05 0.10 0.18
Tightness 0.00 0.62 0.50 0.50 1,800.38 0.00 None 0.03 0.07 0.06
Tuples 1 1,024 47.73 4.00 172,481 MAX VALUE 5,812.52 201.96 4.23 0.50
Values 1 2 1.99 2.00 7,452 MAX VALUE 2,575.73 0.07 0.04 0.03
Value table constraints 2 55 2.90 2.00 10,839 MAX VALUE 3,323.26 2.93 1.01 0.96
Value table partitions 1 1,024 22.59 2.00 84,450 MAX VALUE 3,130.67 141.77 6.28 0.20
Tree decomposition
Number of clusters: 3,114
Number of leaves: 1,312
Tree depth: 29
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 25 1.57 2.00 4,880 0 None 1.48 0.95 1.33
Cluster variables 2 195 10.88 6.00 33,874 MAX VALUE 6,414.63 15.40 1.42 2.46
Separator constraints 0 19 0.41 0.00 1,266 0 None 1.30 3.21 0.76
Separator variables 0 143 9.68 5.00 30,138 0 None 14.50 1.50 2.47
Dual tree decomposition
Number of clusters: 2,082
Number of leaves: 840
Tree depth: 32
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 4,397 86.35 7.00 179,790 None None 306.29 3.55 3.94
Cluster variables 2 447 21.99 7.00 45,784 MAX VALUE 4,887.25 43.45 1.98 3.36
Separator constraints 0 3,161 73.87 3.00 153,797 0 None 258.39 3.50 3.50
Separator variables 0 360 20.25 6.00 42,170 0 None 39.28 1.94 3.35
Primal graph
Density: 0.20%
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.02 1.00 None 0.33 None None None None None 1.64
Degree 1 109 7.38 4.00 27,568 MAX VALUE 6,269.98 10.43 1.41 1.50
Eccentricity 7 13 9.94 10.00 37,151 MAX VALUE 8,565.62 0.91 0.09 1.33
Triangulated primal graph
Density: 1.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 None 0.80 None None None None None 3.94
Degree 1 570 41.89 8.00 156,512 MAX VALUE 9,386.33 87.61 2.09 3.41
Eccentricity 3 6 5.07 5.00 18,942 MAX VALUE 6,047.62 0.49 0.10 0.71
Dual graph
Density: 0.40%
MCB compute time (ms): 3,873,940
MCB cycles: 25,919
Triangles: 129,644
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.45 None None None None None 4.35
Degree 1 86 14.38 10.00 51,986 MAX VALUE 8,128.10 13.70 0.95 3.26
Eccentricity 7 12 9.31 9.00 33,632 MAX VALUE 8,044.49 0.91 0.10 1.31
MCB cycle size 3 10 3.33 3.00 86,390 MAX VALUE 30,698.80 0.78 0.23 0.73
Minimal dual graph
Density: 0.11%
MCB compute time (ms): 1,162,570
MCB cycles: 3,263
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.00 None None None None None 0.40
Degree 1 7 3.80 4.00 13,748 MAX VALUE 4,748.35 0.81 0.21 1.16
Eccentricity 11 17 14.04 14.00 50,736 MAX VALUE 9,536.29 1.11 0.08 1.51
MCB cycle size 3 15 6.63 7.00 21,633 MAX VALUE 6,023.74 1.93 0.29 2.03
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: 3.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.80 None None None None None 4.84
Degree 1 826 116.45 8.00 420,836 MAX VALUE 10,515.90 201.73 1.73 4.14
Eccentricity 4 7 5.01 5.00 18,119 MAX VALUE 5,800.36 0.59 0.12 0.90
Incidence graph
Density: 0.04%
MCB compute time (ms): 569,679
MCB cycles: 5,096
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7_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 0.85
Degree 1 55 3.28 3.00 24,072 MAX VALUE 7,612.65 2.85 0.87 1.20
Eccentricity 15 26 19.76 20.00 145,246 MAX VALUE 21,899.50 1.81 0.09 2.00
MCB cycle size 4 20 7.67 8.00 39,068 MAX VALUE 9,928.23 3.24 0.42 1.71