Instance: normalized-bf-1355-075_ext
Number of variables: 4360
Number of constraints: 8951
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: 4360
Number of constraints: 8951
General features
Number of coarse blocks: 54,377
Number of unique subscopes: 6,302
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 6 2.40 2.00 21,461 MAX VALUE 7,580.46 0.61 0.26 0.81
Coarse blocks size 1 32 2.41 2.00 131,041 MAX VALUE 36,676.00 2.24 0.93 1.45
Relational linkage 0.50 1.00 0.72 0.50 10,737.80 0.00 -5,663.82 0.24 0.34 0.85
Tightness 0.00 0.25 0.16 0.25 1,461.09 0.00 None 0.10 0.63 1.11
Tuples 1 63 3.99 3.00 35,727 MAX VALUE 10,354.30 3.68 0.92 1.32
Domain size 1 2 1.84 2.00 8,002 MAX VALUE 2,524.44 0.37 0.20 0.45
Constraints per subscope 2 33 4.12 4.00 25,963 MAX VALUE 8,085.45 2.28 0.55 1.91
Partitions per subscope 1 8 2.36 2.00 14,880 MAX VALUE 4,718.25 1.25 0.53 0.99
Tree decomposition
Number of clusters: 3,296
Number of leaves: 1,163
Tree depth: 26
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 53 4.94 4.00 16,290 0 None 3.87 0.78 2.31
Cluster variables 2 127 9.76 8.00 32,156 MAX VALUE 6,884.46 8.07 0.83 2.85
Separator constraints 0 44 2.23 1.00 7,339 0 None 3.65 1.64 1.85
Separator variables 0 99 8.43 6.00 27,796 0 None 7.35 0.87 2.81
Dual tree decomposition
Number of clusters: 4,282
Number of leaves: 1,874
Tree depth: 25
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 529 37.78 21.00 161,769 MAX VALUE 13,359.70 47.33 1.25 4.00
Cluster variables 3 278 15.18 11.00 65,014 MAX VALUE 10,634.80 14.76 0.97 3.30
Separator constraints 0 496 26.04 13.00 111,503 0 None 37.06 1.42 3.83
Separator variables 0 209 13.09 9.00 56,063 0 None 12.35 0.94 3.18
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 None 0.20 None None None None None 3.43
Degree 1 33 6.46 6.00 28,144 MAX VALUE 7,677.01 2.88 0.45 2.32
Eccentricity 13 20 15.97 16.00 69,650 MAX VALUE 12,065.60 1.38 0.09 1.71
Triangulated primal graph
Density: 0.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.07 1.00 None 0.78 None None None None None 5.80
Degree 1 864 25.55 12.00 111,392 MAX VALUE 11,082.80 45.83 1.79 3.83
Eccentricity 4 8 6.05 6.00 26,359 MAX VALUE 7,819.93 0.65 0.11 0.98
Dual graph
Density: 0.13%
MCB compute time (ms): None
MCB cycles: None
Triangles: 102,574
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.46 0.46 4,115.17 0.00 None 0.11 0.25 4.23
Degree 2 35 11.23 10.00 100,532 MAX VALUE 20,566.70 5.68 0.51 2.92
Eccentricity 13 20 16.22 16.00 145,155 MAX VALUE 24,907.70 1.34 0.08 1.68
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.04%
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 None 0.00 None None None None None 0.57
Degree 1 7 3.39 3.00 30,384 MAX VALUE 10,737.80 0.68 0.20 1.01
Eccentricity 22 34 27.43 27.00 245,547 MAX VALUE 29,614.00 2.23 0.08 2.19
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: 0.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 None 0.70 None None None None None 5.45
Degree 1 552 29.24 6.00 261,702 MAX VALUE 19,879.10 69.38 2.37 3.56
Eccentricity 6 10 7.41 7.00 66,318 MAX VALUE 17,888.30 0.68 0.09 1.03
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 1.73
Degree 1 33 3.22 3.00 42,922 MAX VALUE 14,074.10 1.84 0.57 1.53
Eccentricity 26 40 32.67 32.00 434,856 MAX VALUE 46,363.90 2.67 0.08 2.34
MCB cycle size None None None None None None None None None None