Instance: normalized-g-15x15_ext
Number of variables: 225
Number of constraints: 225
Satisfiable: None
Timestamp: 2018-04-21 10:29:17
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 225
Number of constraints: 225
General features
Number of coarse blocks: 8,056
Number of unique subscopes: 1,033
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 5 4.73 5.00 1,065 MAX VALUE 348.48 0.48 0.10 0.63
Coarse blocks size 1 16 8.38 8.00 67,516 MAX VALUE 16,492.50 3.38 0.40 1.42
Relational linkage 0.50 1.00 0.96 1.00 3,537.94 0.00 -168.37 0.08 0.08 0.84
Tightness 0.03 0.12 0.04 0.03 9.03 0.00 -738.20 0.02 0.43 0.63
Tuples 7 31 26.88 31.00 6,047 MAX VALUE 728.95 7.24 0.27 0.63
Domain size 2 2 2.00 2.00 450 MAX VALUE 155.96 0.00 0.00 0.00
Constraints per subscope 2 4 2.33 2.00 2,404 MAX VALUE 833.16 0.74 0.32 0.45
Partitions per subscope 2 4 3.57 4.00 3,690 MAX VALUE 1,278.86 0.82 0.23 0.52
Tree decomposition
Number of clusters: 130
Number of leaves: 21
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 5 1.73 1.00 225 0 None 1.37 0.79 1.54
Cluster variables 6 44 15.64 14.00 2,033 MAX VALUE 346.38 7.02 0.45 2.81
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 35 13.91 13.00 1,808 0 None 5.83 0.42 2.76
Dual tree decomposition
Number of clusters: 129
Number of leaves: 22
Tree depth: 22
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 109 39.95 39.00 5,154 MAX VALUE 462.64 18.39 0.46 3.52
Cluster variables 6 44 15.52 14.00 2,002 MAX VALUE 343.04 6.86 0.44 2.75
Separator constraints 0 82 30.64 30.00 3,952 0 None 14.72 0.48 3.33
Separator variables 0 35 13.78 13.00 1,777 0 None 5.61 0.41 2.71
Primal graph
Density: 4.77%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.49 0.45 110.06 0.00 -161.95 0.05 0.10 1.23
Degree 5 12 10.68 12.00 2,404 MAX VALUE 528.89 1.85 0.17 1.23
Eccentricity 7 14 10.98 11.00 2,471 MAX VALUE 536.84 1.55 0.14 1.84
Triangulated primal graph
Density: 16.68%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.76 0.77 171.30 0.00 -65.30 0.14 0.18 4.70
Degree 5 98 37.37 26.00 8,408 MAX VALUE 756.49 25.51 0.68 3.99
Eccentricity 3 6 4.37 4.00 984 MAX VALUE 329.62 0.63 0.15 0.96
Dual graph
Density: 4.77%
MCB compute time (ms): 155
MCB cycles: 978
Triangles: 1,902
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.49 0.45 110.06 0.00 -161.95 0.05 0.10 1.23
Degree 5 12 10.68 12.00 2,404 MAX VALUE 528.89 1.85 0.17 1.23
Eccentricity 7 14 10.98 11.00 2,471 MAX VALUE 536.84 1.55 0.14 1.84
MCB cycle size 3 3 3.00 3.00 2,934 MAX VALUE 1,074.44 0.00 0.00 0.00
Minimal dual graph
Density: 3.22%
MCB compute time (ms): 101
MCB cycles: 588
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.48 0.43 107.63 0.00 -169.76 0.10 0.21 0.63
Degree 3 8 7.22 8.00 1,624 MAX VALUE 439.51 1.38 0.19 0.63
Eccentricity 7 14 11.98 12.00 2,695 MAX VALUE 556.03 1.76 0.15 1.83
MCB cycle size 3 3 3.00 3.00 1,764 MAX VALUE 645.98 0.00 0.00 0.00
Triangulated dual graph
Density: 16.64%
Triangles: 47,057
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.76 0.77 171.41 0.00 -65.35 0.14 0.19 4.61
Degree 5 99 37.28 24.00 8,388 MAX VALUE 754.96 25.88 0.69 3.92
Eccentricity 3 6 4.27 4.00 960 MAX VALUE 323.45 0.69 0.16 1.04
Triangulated minimal dual graph
Density: 9.93%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.75 0.72 168.08 0.00 -72.34 0.18 0.24 4.01
Degree 3 67 22.25 17.00 5,006 MAX VALUE 628.84 17.40 0.78 3.41
Eccentricity 5 9 6.13 6.00 1,379 MAX VALUE 406.00 0.81 0.13 1.18
Incidence graph
Density: 1.05%
MCB compute time (ms): 954
MCB cycles: 616
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-15x15_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 3 5 4.73 5.00 2,130 MAX VALUE 696.95 0.48 0.10 0.63
Eccentricity 15 29 22.47 22.00 10,110 MAX VALUE 1,396.09 3.08 0.14 2.52
MCB cycle size 4 4 4.00 4.00 2,464 MAX VALUE 853.96 0.00 0.00 0.00