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

Instance comments



Component #1 Number of variables: 4
Number of constraints: 4
General features
Number of coarse blocks: 48
Number of unique subscopes: 6
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 12 81 4.39 0.00 0.00 0.00
Coarse blocks size 1 2 1.75 2.00 84 6.87e+10 24.95 0.43 0.25 0.56
Relational linkage 0.50 1.00 0.88 1.00 21.00 0.02 -4.16 0.22 0.25 0.56
Tightness 0.12 0.12 0.12 0.12 0.50 0.00 -8.32 0.00 0.00 0.00
Tuples 7 7 7.00 7.00 28 2,401 7.78 0.00 0.00 0.00
Domain size 2 2 2.00 2.00 8 16 2.77 0.00 0.00 0.00
Constraints per subscope 2 2 2.00 2.00 12 64 4.16 0.00 0.00 0.00
Partitions per subscope 4 4 4.00 4.00 24 4,096 8.32 0.00 0.00 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 4 4.00 4.00 4 4 1.39 0.00 0.00 0.00
Cluster variables 4 4 4.00 4.00 4 4 1.39 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 6 6.00 6.00 6 6 1.79 0.00 0.00 0.00
Cluster variables 4 4 4.00 4.00 4 4 1.39 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Primal graph
Density: 100.00%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 4.00 1.00 0.00 0.00 0.00 0.00
Degree 3 3 3.00 3.00 12 81 4.39 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 4.00 1.00 0.00 0.00 0.00 0.00
Degree 3 3 3.00 3.00 12 81 4.39 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
Dual graph
Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 3
Triangles: 4
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 4.00 1.00 0.00 0.00 0.00 0.00
Degree 3 3 3.00 3.00 12 81 4.39 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 9 27 3.30 0.00 0.00 0.00
Minimal dual graph
Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 3
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 4.00 1.00 0.00 0.00 0.00 0.00
Degree 3 3 3.00 3.00 12 81 4.39 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 9 27 3.30 0.00 0.00 0.00
Triangulated dual graph
Density: 100.00%
Triangles: 4
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 4.00 1.00 0.00 0.00 0.00 0.00
Degree 3 3 3.00 3.00 12 81 4.39 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 4.00 1.00 0.00 0.00 0.00 0.00
Degree 3 3 3.00 3.00 12 81 4.39 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
Incidence graph
Density: 42.86%
MCB compute time (ms): 0
MCB cycles: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-2x2_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 3 3.00 3.00 24 6,561 8.79 0.00 0.00 0.00
Eccentricity 3 3 3.00 3.00 24 6,561 8.79 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 20 1,024 6.93 0.00 0.00 0.00