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
Number of coarse blocks: 10,248
Number of unique subscopes: 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
Domain size 2 2 2.00 2.00 1,364 MAX VALUE 472.73 0.00 0.00 0.00
Constraints per subscope 2 47 5.92 5.00 4,822 MAX VALUE 1,293.18 5.97 1.01 1.23
Partitions per subscope 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
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
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
Cluster variables 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
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
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
Cluster variables 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%
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
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
Triangulated primal graph
Density: 4.35%
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
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

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
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