Instance: normalized-g-4x4_ext
Number of variables: 16
Number of constraints: 16
Satisfiable: None
Timestamp: 2018-04-21 10:29:13
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 16
Number of constraints: 16
General features
Number of coarse blocks: 400
Number of unique subscopes: 54
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 5 4.00 4.00 64 3.32e+09 21.92 0.71 0.18 1.04
Coarse blocks size 1 16 5.55 4.00 2,220 MAX VALUE 625.28 3.03 0.55 1.71
Relational linkage 0.50 1.00 0.92 1.00 176.75 0.00 -18.86 0.14 0.16 0.86
Tightness 0.03 0.12 0.07 0.06 1.12 0.00 -44.36 0.03 0.48 1.04
Tuples 7 31 17.00 15.00 272 5.68e+18 43.18 8.72 0.51 1.04
Domain size 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
Constraints per subscope 2 4 2.15 2.00 116 2.88e+17 40.20 0.52 0.24 0.26
Partitions per subscope 2 4 3.56 4.00 192 7.92e+28 66.54 0.83 0.23 0.53
Tree decomposition
Number of clusters: 8
Number of leaves: 4
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 3 2.00 2.00 16 81 4.39 1.00 0.50 0.69
Cluster variables 6 9 7.50 7.50 60 8,503,060 15.96 1.50 0.20 0.69
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 8 5.50 5.00 44 0 None 2.50 0.45 0.97
Dual tree decomposition
Number of clusters: 8
Number of leaves: 4
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 24 17.50 17.00 140 5.78e+09 22.48 5.55 0.32 1.04
Cluster variables 6 9 7.50 7.50 60 8,503,060 15.96 1.50 0.20 0.69
Separator constraints 0 20 10.25 7.00 82 0 None 6.46 0.63 1.21
Separator variables 0 8 5.50 5.00 44 0 None 2.50 0.45 0.97
Primal graph
Density: 48.33%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.70 0.62 0.62 9.89 0.00 -7.78 0.06 0.10 1.04
Degree 5 10 7.25 7.00 116 3.60e+13 31.22 1.79 0.25 1.04
Eccentricity 2 3 2.75 3.00 44 8,503,060 15.96 0.43 0.16 0.56
Triangulated primal graph
Density: 66.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.84 0.80 13.37 0.05 -2.99 0.10 0.12 1.73
Degree 5 13 10.00 11.00 160 3.76e+15 35.86 3.04 0.30 1.56
Eccentricity 2 3 2.25 2.00 36 331,776 12.71 0.43 0.19 0.56
Dual graph
Density: 48.33%
MCB compute time (ms): 0
MCB cycles: 43
Triangles: 76
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.70 0.62 0.62 9.89 0.00 -7.78 0.06 0.10 1.04
Degree 5 10 7.25 7.00 116 3.60e+13 31.22 1.79 0.25 1.04
Eccentricity 2 3 2.75 3.00 44 8,503,060 15.96 0.43 0.16 0.56
MCB cycle size 3 3 3.00 3.00 129 3.28e+20 47.24 0.00 0.00 0.00
Minimal dual graph
Density: 35.00%
MCB compute time (ms): 0
MCB cycles: 27
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.66 0.60 10.51 0.00 -7.48 0.21 0.32 1.04
Degree 3 8 5.25 5.00 84 1.30e+11 25.59 1.79 0.34 1.04
Eccentricity 2 3 2.75 3.00 44 8,503,060 15.96 0.43 0.16 0.56
MCB cycle size 3 3 3.00 3.00 81 7.63e+12 29.66 0.00 0.00 0.00
Triangulated dual graph
Density: 66.67%
Triangles: 208
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.84 0.80 13.37 0.05 -2.99 0.10 0.12 1.73
Degree 5 13 10.00 11.00 160 3.76e+15 35.86 3.04 0.30 1.56
Eccentricity 2 3 2.25 2.00 36 331,776 12.71 0.43 0.19 0.56
Triangulated minimal dual graph
Density: 44.17%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.58 1.00 0.75 0.72 12.02 0.01 -4.92 0.16 0.21 1.96
Degree 3 10 6.62 6.50 106 2.98e+12 28.72 2.64 0.40 1.84
Eccentricity 2 3 2.62 3.00 42 3,779,140 15.14 0.48 0.18 0.66
Incidence graph
Density: 12.90%
MCB compute time (ms): 1
MCB cycles: 33
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-4x4_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.00 4.00 128 1.10e+19 43.85 0.71 0.18 1.04
Eccentricity 5 7 6.00 6.00 192 6.35e+24 57.11 0.71 0.12 1.04
MCB cycle size 4 4 4.00 4.00 132 7.38e+19 45.75 0.00 0.00 0.00