Instance: normalized-ii-8e1_ext
Number of variables: 1040
Number of constraints: 3656
Satisfiable: None
Timestamp: 2018-04-21 10:34:15
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1040
Number of constraints: 3656
General features
Number of coarse blocks: 75,020
Number of unique subscopes: 1,920
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 10 2.31 2.00 8,440 MAX VALUE 2,786.17 1.38 0.60 0.22
Coarse blocks size 1 512 15.18 4.00 1,138,830 MAX VALUE 123,383.00 53.47 3.52 1.86
Relational linkage 0.50 1.00 0.97 1.00 30,050.30 0.00 -1,204.69 0.11 0.12 0.46
Tightness 0.00 0.25 0.24 0.25 870.58 0.00 -5,850.16 0.05 0.22 0.22
Tuples 3 1,023 22.69 3.00 82,968 MAX VALUE 4,848.45 110.85 4.88 0.22
Domain size 2 2 2.00 2.00 2,080 MAX VALUE 720.87 0.00 0.00 0.00
Constraints per subscope 2 27 5.34 2.00 10,250 MAX VALUE 2,461.11 5.49 1.03 1.35
Partitions per subscope 2 128 16.11 2.00 30,940 MAX VALUE 3,535.05 23.89 1.48 1.38
Tree decomposition
Number of clusters: 716
Number of leaves: 66
Tree depth: 28
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 183 14.88 2.00 10,655 0 None 39.46 2.65 2.05
Cluster variables 2 209 20.47 11.00 14,654 MAX VALUE 1,980.41 21.46 1.05 2.00
Separator constraints 0 161 9.78 0.00 6,999 0 None 32.74 3.35 1.36
Separator variables 0 169 19.01 10.00 13,614 0 None 19.61 1.03 2.03
Dual tree decomposition
Number of clusters: 970
Number of leaves: 380
Tree depth: 17
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 37 1,093 201.25 148.00 195,213 MAX VALUE 4,648.15 212.52 1.06 3.14
Cluster variables 10 179 33.56 25.00 32,558 MAX VALUE 3,069.28 33.41 1.00 2.80
Separator constraints 0 651 152.87 126.00 148,283 0 None 142.14 0.93 3.09
Separator variables 0 129 29.80 24.00 28,902 0 None 26.62 0.89 2.84
Primal graph
Density: 1.12%
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.80 None 0.38 None None None None None 1.29
Degree 1 27 11.65 10.00 12,120 MAX VALUE 2,489.70 4.26 0.37 1.77
Eccentricity 5 8 6.12 6.00 6,360 MAX VALUE 1,868.49 1.05 0.17 1.31
Triangulated primal graph
Density: 8.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.79 None None None None None 4.90
Degree 1 373 90.83 27.00 94,462 MAX VALUE 3,882.64 110.10 1.21 4.36
Eccentricity 3 5 3.80 4.00 3,952 MAX VALUE 1,372.16 0.67 0.18 0.99
Dual graph
Density: 0.70%
MCB compute time (ms): None
MCB cycles: None
Triangles: 242,830
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.59 0.58 2,162.03 0.00 None 0.10 0.16 2.71
Degree 9 38 25.67 28.00 93,860 MAX VALUE 11,662.40 7.00 0.27 2.51
Eccentricity 5 8 6.13 6.00 22,420 MAX VALUE 6,612.37 0.62 0.10 0.88
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.10%
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.53 0.01 0.00 41.90 0.00 None 0.07 5.73 0.24
Degree 2 10 3.74 4.00 13,660 MAX VALUE 4,717.04 1.03 0.28 0.97
Eccentricity 10 16 13.64 14.00 49,870 MAX VALUE 9,535.61 1.32 0.10 1.67
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.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 0.79 0.75 2,888.85 0.00 -973.02 0.18 0.23 4.06
Degree 2 722 33.56 8.00 122,690 MAX VALUE 9,209.34 62.80 1.87 3.64
Eccentricity 4 7 5.09 5.00 18,610 MAX VALUE 5,921.11 0.63 0.12 0.94
Incidence graph
Density: 0.08%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8e1_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 0.42
Degree 1 27 3.59 2.00 16,880 MAX VALUE 4,616.51 3.98 1.11 0.84
Eccentricity 10 16 12.92 13.00 60,680 MAX VALUE 11,989.30 1.37 0.11 1.46
MCB cycle size None None None None None None None None None None