Instance: normalized-par-16-5-c_ext
Number of variables: 682
Number of constraints: 1641
Satisfiable: None
Timestamp: 2018-04-21 10:40:23
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 682
Number of constraints: 1641
General features
Coarse blocks: 10,248
Value tables: 815
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.75 3.00 4,520 MAX VALUE 1,639.42 0.43 0.16 0.56
Coarse blocks size 1 4 2.96 3.00 30,350 MAX VALUE 10,349.70 0.98 0.33 1.28
Relational linkage 0.50 1.00 0.68 0.50 1,280.00 0.00 -822.75 0.20 0.29 1.03
Tightness 0.12 0.25 0.16 0.12 263.00 0.00 -3,091.44 0.06 0.35 0.59
Tuples 3 7 5.98 7.00 9,815 MAX VALUE 2,842.53 1.71 0.29 0.70
DomSize 2 2 2.00 2.00 1,364 MAX VALUE 472.73 0.00 0.00 0.00
Value table constraints 2 47 5.92 5.00 4,822 MAX VALUE 1,293.18 5.97 1.01 1.23
Value table partitions 2 4 2.33 2.00 1,896 MAX VALUE 657.10 0.74 0.32 0.44
Tree decomposition
Number of clusters: 341
Number of leaves: 127
Tree depth: 15
CIR: None
Independent Cluster Pairs: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 22 11.56 11.00 3,943 MAX VALUE 822.54 3.18 0.28 2.13
Variables per cluster 6 44 14.86 12.00 5,068 MAX VALUE 881.73 8.43 0.57 2.31
Separator constraints 0 21 6.75 5.00 2,302 0 None 4.03 0.60 2.11
Separator variables 0 42 12.86 10.00 4,386 0 None 8.07 0.63 2.49
Dual tree decomposition
Number of clusters: 578
Number of leaves: 326
Tree depth: 29
CIR: None
Independent Cluster Pairs: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 2,458 264.22 39.00 152,719 MAX VALUE 2,540.33 448.34 1.70 3.12
Variables per cluster 5 160 30.93 11.00 17,877 MAX VALUE 1,694.95 36.88 1.19 2.58
Separator constraints 0 1,778 219.35 29.00 126,785 0 None 381.22 1.74 3.08
Separator variables 0 128 28.09 10.00 16,236 0 None 33.61 1.20 2.52
Primal graph
Density: 1.70%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 1.00 0.53 0.56 363.99 0.00 -462.36 0.12 0.23 1.75
Degree 5 93 11.58 9.00 7,896 MAX VALUE 1,561.73 11.80 1.02 1.25
Eccentricity 5 8 6.76 7.00 4,609 MAX VALUE 1,298.38 0.80 0.12 1.15
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 4.35%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.16 1.00 0.82 0.90 558.28 0.00 -166.75 0.19 0.24 3.34
Degree 5 259 29.66 14.00 20,226 MAX VALUE 1,984.54 42.68 1.44 3.15
Eccentricity 3 5 4.13 4.00 2,818 MAX VALUE 962.70 0.49 0.12 0.72
MCB cycle size None None None None None None None None None None
Dual graph
Density: 1.93%
MCB compute time (ms): 267,653
MCB cycles: 43,675
Triangles: 230,527
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Dual1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.61 0.66 996.18 0.00 -852.27 0.11 0.19 3.50
Degree 4 92 31.61 36.00 51,868 MAX VALUE 5,257.97 19.51 0.62 3.03
Eccentricity 5 9 7.26 7.00 11,916 MAX VALUE 3,242.45 0.83 0.11 1.22
MCB cycle size 3 7 3.22 3.00 140,600 MAX VALUE 50,545.10 0.56 0.17 0.55
Minimal dual graph
Density: 0.27%
MCB compute time (ms): 146,581
MCB cycles: 2,029
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.06 0.00 94.36 0.00 None 0.07 1.29 1.30
Degree 3 7 4.47 5.00 7,338 MAX VALUE 2,431.25 0.78 0.18 1.17
Eccentricity 11 17 13.87 14.00 22,755 MAX VALUE 4,306.44 1.41 0.10 1.72
MCB cycle size 3 11 5.03 5.00 10,199 MAX VALUE 3,184.69 1.56 0.31 1.76
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: 4.28%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.81 0.77 1,333.40 0.00 -368.82 0.15 0.18 4.65
Degree 3 373 70.16 12.00 115,128 MAX VALUE 4,875.41 106.32 1.52 4.15
Eccentricity 3 6 4.67 5.00 7,671 MAX VALUE 2,518.09 0.57 0.12 0.85
Incidence graph
Density: 0.17%
MCB compute time (ms): 198,011
MCB cycles: 2,199
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-5-c_ext/Incidence1.pdf
JSON-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 47 3.89 3.00 9,040 MAX VALUE 2,828.21 3.85 0.99 1.26
Eccentricity 10 18 14.52 14.00 33,732 MAX VALUE 6,200.33 1.64 0.11 1.80
MCB cycle size 4 14 6.12 6.00 13,462 MAX VALUE 3,954.39 1.05 0.17 0.68