Instance: normalized-par-16-3-c_ext
Number of variables: 668
Number of constraints: 1606
Satisfiable: None
Timestamp: 2018-04-21 10:41:53
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 668
Number of constraints: 1606
General features
Number of coarse blocks: 9,956
Number of unique subscopes: 781
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.75 3.00 4,422 MAX VALUE 1,603.81 0.43 0.16 0.56
Coarse blocks size 1 4 2.97 3.00 29,552 MAX VALUE 10,081.40 0.98 0.33 1.28
Relational linkage 0.50 1.00 0.67 0.50 1,192.50 0.00 -795.15 0.19 0.29 1.01
Tightness 0.12 0.25 0.16 0.12 257.75 0.00 -3,023.51 0.06 0.35 0.60
Tuples 3 7 5.98 7.00 9,598 MAX VALUE 2,780.35 1.71 0.29 0.71
Domain size 2 2 2.00 2.00 1,336 MAX VALUE 463.02 0.00 0.00 0.00
Constraints per subscope 2 43 6.02 5.00 4,700 MAX VALUE 1,255.51 5.87 0.98 1.26
Partitions per subscope 2 4 2.29 2.00 1,788 MAX VALUE 619.67 0.70 0.31 0.41
Tree decomposition
Number of clusters: 334
Number of leaves: 122
Tree depth: 16
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 22 11.57 11.00 3,866 MAX VALUE 806.52 3.09 0.27 2.13
Cluster variables 6 44 14.88 12.00 4,970 MAX VALUE 864.39 8.32 0.56 2.31
Separator constraints 0 20 6.77 5.00 2,260 0 None 3.96 0.59 2.10
Separator variables 0 40 12.88 10.00 4,302 0 None 7.95 0.62 2.49
Dual tree decomposition
Number of clusters: 569
Number of leaves: 318
Tree depth: 30
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 2,598 245.25 39.00 139,547 MAX VALUE 2,493.04 414.08 1.69 3.14
Cluster variables 5 160 30.92 11.00 17,595 MAX VALUE 1,670.03 36.76 1.19 2.62
Separator constraints 0 2,218 202.15 29.00 115,023 0 None 349.55 1.73 3.06
Separator variables 0 128 28.10 10.00 15,989 0 None 33.65 1.20 2.56
Primal graph
Density: 1.73%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.07 1.00 0.53 0.56 355.80 0.00 -454.76 0.12 0.23 1.78
Degree 5 77 11.56 9.00 7,722 MAX VALUE 1,530.74 11.35 0.98 1.26
Eccentricity 5 9 6.66 7.00 4,447 MAX VALUE 1,261.38 0.80 0.12 1.20
Triangulated primal graph
Density: 4.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 0.82 0.90 546.72 0.00 -163.40 0.19 0.24 3.36
Degree 5 245 29.75 14.00 19,876 MAX VALUE 1,947.47 42.52 1.43 3.15
Eccentricity 3 5 4.09 4.00 2,732 MAX VALUE 936.08 0.49 0.12 0.71
Dual graph
Density: 1.90%
MCB compute time (ms): 311,092
MCB cycles: 44,542
Triangles: 208,271
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.60 0.63 963.58 0.00 -850.72 0.11 0.18 3.47
Degree 4 84 30.54 36.00 49,048 MAX VALUE 5,099.83 19.31 0.63 2.96
Eccentricity 6 10 7.18 7.00 11,526 MAX VALUE 3,155.14 0.80 0.11 1.18
MCB cycle size 3 10 3.21 3.00 142,811 MAX VALUE 51,416.10 0.53 0.17 0.54
Minimal dual graph
Density: 0.28%
MCB compute time (ms): 118,099
MCB cycles: 1,984
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.06 0.00 89.87 0.00 None 0.07 1.31 1.30
Degree 3 7 4.47 4.00 7,178 MAX VALUE 2,378.27 0.79 0.18 1.18
Eccentricity 10 17 13.27 13.00 21,316 MAX VALUE 4,145.34 1.26 0.10 1.63
MCB cycle size 3 11 5.07 5.00 10,054 MAX VALUE 3,127.50 1.60 0.32 1.77
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.07%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.81 0.77 1,298.62 0.00 -371.32 0.16 0.19 4.66
Degree 3 394 65.40 12.00 105,028 MAX VALUE 4,750.72 97.18 1.49 4.20
Eccentricity 4 6 4.75 5.00 7,621 MAX VALUE 2,490.63 0.53 0.11 0.77
Incidence graph
Density: 0.17%
MCB compute time (ms): 211,248
MCB cycles: 2,150
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-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 43 3.89 3.00 8,844 MAX VALUE 2,769.43 3.77 0.97 1.26
Eccentricity 11 20 14.34 14.00 32,614 MAX VALUE 6,041.79 1.60 0.11 1.79
MCB cycle size 4 12 6.12 6.00 13,156 MAX VALUE 3,865.63 1.04 0.17 0.67