Instance: normalized-par-8-2-c_ext
Number of variables: 136
Number of constraints: 308
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: 136
Number of constraints: 308
General features
Number of coarse blocks: 1,872
Number of unique subscopes: 148
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.78 3.00 856 MAX VALUE 310.80 0.41 0.15 0.53
Coarse blocks size 1 4 3.01 3.00 5,638 MAX VALUE 1,933.62 0.96 0.32 1.26
Relational linkage 0.50 1.00 0.63 0.50 200.75 0.00 -159.96 0.17 0.27 0.91
Tightness 0.12 0.25 0.16 0.12 50.75 0.00 -572.54 0.06 0.35 0.63
Tuples 3 7 6.02 7.00 1,854 MAX VALUE 537.10 1.63 0.27 0.82
Domain size 2 2 2.00 2.00 272 MAX VALUE 94.27 0.00 0.00 0.00
Constraints per subscope 2 23 6.05 5.00 896 MAX VALUE 249.53 3.89 0.64 0.81
Partitions per subscope 2 4 2.16 2.00 320 MAX VALUE 110.90 0.55 0.25 0.28
Tree decomposition
Number of clusters: 59
Number of leaves: 23
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 13 10.44 10.00 616 MAX VALUE 136.92 2.26 0.22 1.62
Cluster variables 6 20 12.75 12.00 752 MAX VALUE 148.12 3.45 0.27 1.67
Separator constraints 0 9 5.22 5.00 308 0 None 1.80 0.34 1.72
Separator variables 0 18 10.44 10.00 616 0 None 3.59 0.34 1.72
Dual tree decomposition
Number of clusters: 107
Number of leaves: 61
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 702 114.98 28.00 12,303 MAX VALUE 439.03 148.18 1.29 2.25
Cluster variables 5 72 21.74 9.00 2,326 MAX VALUE 296.19 19.04 0.88 1.99
Separator constraints 0 528 84.40 20.00 9,031 0 None 116.84 1.38 2.24
Separator variables 0 68 18.86 8.00 2,018 0 None 16.99 0.90 1.92
Primal graph
Density: 8.28%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.15 1.00 0.54 0.56 73.87 0.00 -89.23 0.13 0.25 1.07
Degree 5 37 11.18 9.00 1,520 MAX VALUE 314.97 6.73 0.60 0.64
Eccentricity 3 5 4.40 4.00 598 MAX VALUE 200.46 0.52 0.12 0.75
Triangulated primal graph
Density: 16.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.26 1.00 0.80 0.82 108.61 0.00 -37.00 0.21 0.26 2.72
Degree 5 85 21.76 14.00 2,960 MAX VALUE 383.94 18.52 0.85 2.34
Eccentricity 2 4 3.53 4.00 480 MAX VALUE 169.89 0.53 0.15 0.75
Dual graph
Density: 6.92%
MCB compute time (ms): 1,380
MCB cycles: 5,534
Triangles: 14,300
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.54 0.51 165.79 0.00 -196.44 0.11 0.20 2.68
Degree 4 44 21.25 24.00 6,544 MAX VALUE 897.68 10.45 0.49 2.18
Eccentricity 4 6 4.98 5.00 1,535 MAX VALUE 492.80 0.55 0.11 0.82
MCB cycle size 3 8 3.38 3.00 18,714 MAX VALUE 6,653.08 0.66 0.19 0.80
Minimal dual graph
Density: 1.46%
MCB compute time (ms): 1,219
MCB cycles: 385
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.10 0.10 31.40 0.00 None 0.11 1.05 1.67
Degree 3 6 4.49 4.00 1,384 MAX VALUE 458.37 0.77 0.17 1.12
Eccentricity 7 9 7.84 8.00 2,415 MAX VALUE 633.39 0.60 0.08 0.89
MCB cycle size 3 9 4.94 5.00 1,900 MAX VALUE 597.69 1.44 0.29 1.68
Triangulated dual graph
Density: 21.26%
Triangles: 230,352
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.80 0.81 246.25 0.00 -73.64 0.14 0.17 3.91
Degree 4 156 65.27 58.00 20,104 MAX VALUE 1,153.61 49.37 0.76 3.64
Eccentricity 3 5 3.80 4.00 1,169 MAX VALUE 407.24 0.57 0.15 0.85
Triangulated minimal dual graph
Density: 10.02%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.80 0.76 246.56 0.00 -74.55 0.16 0.20 3.92
Degree 3 107 30.77 11.00 9,478 MAX VALUE 833.02 34.10 1.11 3.57
Eccentricity 3 6 4.40 4.00 1,355 MAX VALUE 453.31 0.60 0.14 0.89
Incidence graph
Density: 0.87%
MCB compute time (ms): 1,023
MCB cycles: 415
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2-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 23 3.86 3.00 1,712 MAX VALUE 546.73 2.74 0.71 1.15
Eccentricity 7 12 9.91 10.00 4,402 MAX VALUE 1,015.84 1.08 0.11 1.41
MCB cycle size 4 12 6.13 6.00 2,542 MAX VALUE 746.61 1.07 0.17 0.62