Instance: normalized-hanoi5_ext
Number of variables: 3862
Number of constraints: 13028
Satisfiable: None
Timestamp: 2018-04-21 10:43:27
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 3862
Number of constraints: 13028
General features
Number of coarse blocks: 80,724
Number of unique subscopes: 6,032
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 8 2.56 3.00 33,341 MAX VALUE 11,909.90 0.64 0.25 0.73
Coarse blocks size 1 128 4.03 2.00 325,594 MAX VALUE 68,126.30 13.84 3.43 1.44
Relational linkage 0.50 1.00 0.74 0.75 11,171.80 0.00 -5,278.79 0.23 0.31 1.02
Tightness 0.00 0.50 0.18 0.12 2,301.96 0.00 None 0.10 0.56 1.10
Tuples 1 255 6.00 4.00 78,218 MAX VALUE 19,296.20 17.38 2.89 1.10
Domain size 1 2 1.91 2.00 7,369 MAX VALUE 2,430.87 0.29 0.15 0.31
Constraints per subscope 2 29 6.25 5.00 37,681 MAX VALUE 9,099.03 5.83 0.93 1.93
Partitions per subscope 1 4 2.56 2.00 15,419 MAX VALUE 5,220.78 0.99 0.39 0.82
Tree decomposition
Number of clusters: 2,494
Number of leaves: 1,252
Tree depth: 36
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 641 30.89 9.00 77,033 MAX VALUE 6,318.25 69.08 2.24 3.08
Cluster variables 4 375 28.09 11.00 70,068 MAX VALUE 7,022.01 42.68 1.52 3.11
Separator constraints 0 539 25.66 3.00 64,005 0 None 63.01 2.46 3.09
Separator variables 0 325 26.55 10.00 66,206 0 None 39.99 1.51 3.10
Dual tree decomposition
Number of clusters: 3,489
Number of leaves: 1,764
Tree depth: 49
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 3,582 294.27 141.00 1,026,720 MAX VALUE 16,737.30 509.93 1.73 3.51
Cluster variables 5 393 42.72 22.00 149,059 MAX VALUE 11,320.90 60.90 1.43 3.36
Separator constraints 0 2,543 237.85 118.00 829,862 0 None 384.92 1.62 3.56
Separator variables 0 310 38.99 21.00 136,031 0 None 51.26 1.31 3.34
Primal graph
Density: 0.35%
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.10 0.75 0.31 0.33 1,215.93 0.00 -4,741.62 0.12 0.38 2.48
Degree 3 43 13.70 10.00 52,902 MAX VALUE 9,544.02 8.70 0.64 2.09
Eccentricity 18 33 25.56 26.00 98,715 MAX VALUE 12,453.40 4.57 0.18 2.77
Triangulated primal graph
Density: 5.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.85 0.84 3,266.83 0.00 -702.15 0.14 0.16 5.04
Degree 3 1,046 197.57 36.00 763,036 MAX VALUE 15,373.70 256.34 1.30 4.84
Eccentricity 3 5 4.12 4.00 15,894 MAX VALUE 5,427.25 0.56 0.14 0.84
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/Dual1.pdf

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
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.03%
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.10 0.00 None 0.00 39.27 0.01
Degree 2 10 4.19 4.00 54,618 MAX VALUE 18,405.50 0.86 0.21 1.21
Eccentricity 22 43 32.90 33.00 428,668 MAX VALUE 45,384.00 4.61 0.14 2.86
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.09%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.27 1.00 0.82 0.80 10,711.90 0.00 -2,770.66 0.15 0.18 5.06
Degree 2 1,617 141.72 10.00 1,846,340 MAX VALUE 41,129.20 222.80 1.57 4.44
Eccentricity 5 9 6.76 7.00 88,034 MAX VALUE 24,822.10 0.69 0.10 1.05
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-hanoi5_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 29 3.95 3.00 66,682 MAX VALUE 19,504.80 3.91 0.99 1.49
Eccentricity 36 68 52.06 52.00 879,301 MAX VALUE 66,493.50 9.05 0.17 3.44
MCB cycle size None None None None None None None None None None