Instance: normalized-par-8-3-c_ext
Number of variables: 150
Number of constraints: 343
Satisfiable: None
Timestamp: 2018-04-21 10:40:22
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 150
Number of constraints: 343
General features
Number of coarse blocks: 2,036
Number of unique subscopes: 162
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.78 3.00 954 MAX VALUE 346.41 0.41 0.15 0.53
Coarse blocks size 1 4 3.05 3.00 6,212 MAX VALUE 2,135.42 0.94 0.31 1.24
Relational linkage 0.50 1.00 0.63 0.50 218.25 0.00 -173.69 0.17 0.27 0.91
Tightness 0.12 0.25 0.16 0.12 56.00 0.00 -640.47 0.06 0.35 0.62
Tuples 3 7 6.04 7.00 2,071 MAX VALUE 599.27 1.63 0.27 0.80
Domain size 2 2 2.00 2.00 300 MAX VALUE 103.97 0.00 0.00 0.00
Constraints per subscope 2 23 6.09 5.00 986 MAX VALUE 271.62 4.16 0.68 0.86
Partitions per subscope 2 4 2.15 2.00 348 MAX VALUE 120.61 0.52 0.24 0.26
Tree decomposition
Number of clusters: 66
Number of leaves: 27
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 13 10.55 10.00 696 MAX VALUE 153.88 2.23 0.21 1.50
Cluster variables 6 20 12.97 12.00 856 MAX VALUE 166.59 3.72 0.29 1.67
Separator constraints 0 9 5.35 5.00 353 0 None 1.93 0.36 1.72
Separator variables 0 18 10.70 10.00 706 0 None 3.85 0.36 1.72
Dual tree decomposition
Number of clusters: 117
Number of leaves: 69
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 788 124.80 28.00 14,602 MAX VALUE 483.65 163.24 1.31 2.28
Cluster variables 5 80 22.06 9.00 2,581 MAX VALUE 324.28 19.90 0.90 1.97
Separator constraints 0 506 91.93 20.00 10,756 0 None 124.42 1.35 2.21
Separator variables 0 68 19.13 8.00 2,238 0 None 17.55 0.92 1.89
Primal graph
Density: 7.69%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.13 1.00 0.57 0.56 84.96 0.00 -92.43 0.15 0.26 1.27
Degree 5 45 11.45 9.00 1,718 MAX VALUE 348.44 7.75 0.68 0.59
Eccentricity 4 6 4.61 5.00 692 MAX VALUE 228.31 0.54 0.12 0.79
Triangulated primal graph
Density: 14.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.26 1.00 0.81 0.90 121.61 0.00 -39.12 0.21 0.26 2.63
Degree 5 89 22.23 13.00 3,334 MAX VALUE 422.27 20.62 0.93 2.39
Eccentricity 2 4 3.07 3.00 460 MAX VALUE 166.25 0.47 0.15 0.68
Dual graph
Density: 6.56%
MCB compute time (ms): 1,599
MCB cycles: 5,505
Triangles: 17,730
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.54 0.55 185.86 0.00 -216.56 0.11 0.20 2.96
Degree 4 44 22.43 22.00 7,692 MAX VALUE 1,015.56 11.09 0.49 2.41
Eccentricity 4 7 5.06 5.00 1,737 MAX VALUE 554.20 0.57 0.11 0.86
MCB cycle size 3 6 3.17 3.00 17,477 MAX VALUE 6,320.36 0.41 0.13 0.48
Minimal dual graph
Density: 1.34%
MCB compute time (ms): 1,606
MCB cycles: 442
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.10 0.10 33.28 0.00 None 0.11 1.10 1.67
Degree 3 7 4.57 4.00 1,568 MAX VALUE 516.32 0.79 0.17 1.14
Eccentricity 7 10 7.99 8.00 2,739 MAX VALUE 711.55 0.63 0.08 0.95
MCB cycle size 3 9 4.88 5.00 2,158 MAX VALUE 682.58 1.39 0.28 1.67
Triangulated dual graph
Density: 20.52%
Triangles: 299,962
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.80 0.80 274.69 0.00 -81.49 0.14 0.17 3.80
Degree 4 172 70.19 62.00 24,076 MAX VALUE 1,304.42 53.69 0.76 3.50
Eccentricity 3 5 3.82 4.00 1,311 MAX VALUE 455.95 0.57 0.15 0.86
Triangulated minimal dual graph
Density: 10.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.82 0.78 280.37 0.00 -74.58 0.14 0.18 3.99
Degree 3 122 37.36 10.00 12,814 MAX VALUE 961.31 42.43 1.14 3.64
Eccentricity 3 6 4.34 4.00 1,488 MAX VALUE 499.97 0.60 0.14 0.90
Incidence graph
Density: 0.79%
MCB compute time (ms): 1,499
MCB cycles: 464
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-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 23 3.87 3.00 1,908 MAX VALUE 606.94 2.86 0.74 1.14
Eccentricity 8 14 10.16 10.00 5,008 MAX VALUE 1,139.86 1.13 0.11 1.45
MCB cycle size 4 12 6.14 6.00 2,848 MAX VALUE 836.92 0.99 0.16 0.51