Instance: normalized-hanoi4_ext
Number of variables: 1436
Number of constraints: 4516
Satisfiable: None
Timestamp: 2018-04-21 10:43:21
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1436
Number of constraints: 4516
General features
Number of coarse blocks: 25,508
Number of unique subscopes: 2,156
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 7 2.54 3.00 11,492 MAX VALUE 4,102.69 0.62 0.24 0.75
Coarse blocks size 1 64 3.17 2.00 80,789 MAX VALUE 18,739.60 7.49 2.37 1.44
Relational linkage 0.50 1.00 0.75 0.75 3,594.69 0.00 -1,630.88 0.23 0.31 1.03
Tightness 0.00 0.25 0.16 0.12 701.80 0.00 None 0.10 0.63 1.10
Tuples 1 127 4.80 3.00 21,698 MAX VALUE 5,693.21 9.74 2.03 1.31
Domain size 1 2 1.75 2.00 2,518 MAX VALUE 749.99 0.43 0.25 0.56
Constraints per subscope 2 25 6.00 5.00 12,932 MAX VALUE 3,241.17 5.10 0.85 1.90
Partitions per subscope 1 4 2.27 2.00 4,898 MAX VALUE 1,525.62 1.08 0.47 1.03
Tree decomposition
Number of clusters: 910
Number of leaves: 419
Tree depth: 23
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 351 25.11 9.00 22,854 MAX VALUE 2,259.63 43.83 1.75 3.27
Cluster variables 4 227 24.47 11.00 22,266 MAX VALUE 2,501.76 31.23 1.28 3.30
Separator constraints 0 251 20.15 3.00 18,338 0 None 39.38 1.95 3.17
Separator variables 0 178 22.89 10.00 20,830 0 None 29.10 1.27 3.30
Dual tree decomposition
Number of clusters: 1,331
Number of leaves: 660
Tree depth: 31
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 1,808 226.80 106.00 301,868 MAX VALUE 6,186.22 344.51 1.52 3.77
Cluster variables 5 256 37.68 19.00 50,147 MAX VALUE 4,221.41 47.28 1.25 3.43
Separator constraints 0 1,454 182.55 88.00 242,974 0 None 271.19 1.49 3.70
Separator variables 0 203 34.28 18.00 45,631 0 None 40.43 1.18 3.39
Primal graph
Density: 0.88%
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 0.71 0.32 0.34 458.96 0.00 -1,739.97 0.12 0.38 2.67
Degree 3 37 12.58 10.00 18,062 MAX VALUE 3,455.32 7.23 0.58 2.42
Eccentricity 10 17 13.57 14.00 19,489 MAX VALUE 3,724.72 2.25 0.17 2.08
Triangulated primal graph
Density: 8.91%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.84 0.84 1,210.59 0.00 -264.74 0.13 0.16 4.90
Degree 3 577 127.81 29.50 183,538 MAX VALUE 5,470.90 148.20 1.16 4.61
Eccentricity 2 4 3.45 3.00 4,954 MAX VALUE 1,759.92 0.54 0.16 0.78
Dual graph
Density: 0.58%
MCB compute time (ms): None
MCB cycles: None
Triangles: 286,416
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.07 0.88 0.48 0.47 2,179.84 0.00 -3,391.76 0.10 0.20 3.72
Degree 4 52 26.08 24.00 117,788 MAX VALUE 14,166.50 12.16 0.47 3.23
Eccentricity 10 18 13.92 14.00 62,852 MAX VALUE 11,832.10 2.23 0.16 2.13
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.09%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 1.67 0.00 None 0.01 19.91 0.02
Degree 2 9 4.13 4.00 18,672 MAX VALUE 6,315.51 0.86 0.21 1.22
Eccentricity 14 26 20.58 21.00 92,918 MAX VALUE 13,623.10 2.49 0.12 2.29
MCB cycle size None None None None None None None None None None
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 1.89%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.34 1.00 0.82 0.80 3,691.19 0.00 -990.88 0.15 0.18 4.77
Degree 2 691 85.29 10.00 385,154 MAX VALUE 13,429.00 124.55 1.46 4.20
Eccentricity 5 9 6.43 6.00 29,026 MAX VALUE 8,369.29 0.77 0.12 1.15
Incidence graph
Density: 0.06%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi4_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 25 3.86 3.00 22,984 MAX VALUE 6,844.79 3.50 0.91 1.49
Eccentricity 20 36 28.06 28.00 166,986 MAX VALUE 19,768.40 4.45 0.16 2.77
MCB cycle size None None None None None None None None None None