Instance: normalized-ii-8a3_ext
Number of variables: 528
Number of constraints: 1804
Satisfiable: None
Timestamp: 2018-04-21 10:34:32
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 528
Number of constraints: 1804
General features
Number of coarse blocks: 74,400
Number of unique subscopes: 1,602
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 8 2.46 2.00 4,440 MAX VALUE 1,447.55 1.56 0.63 0.32
Coarse blocks size 1 128 11.22 4.00 834,480 MAX VALUE 131,381.00 20.87 1.86 1.86
Relational linkage 0.50 1.00 0.98 1.00 32,736.20 0.00 -699.12 0.08 0.08 0.34
Tightness 0.00 0.25 0.23 0.25 414.91 0.00 -3,077.57 0.07 0.29 0.32
Tuples 3 255 20.69 3.00 37,332 MAX VALUE 2,600.26 62.98 3.04 0.32
Domain size 2 2 2.00 2.00 1,056 MAX VALUE 365.98 0.00 0.00 0.00
Constraints per subscope 2 27 4.16 2.00 6,672 MAX VALUE 1,744.02 4.42 1.06 1.09
Partitions per subscope 2 128 20.76 16.00 33,264 MAX VALUE 3,626.55 26.40 1.27 1.72
Tree decomposition
Number of clusters: 379
Number of leaves: 46
Tree depth: 31
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 146 15.53 3.00 5,885 0 None 34.97 2.25 2.33
Cluster variables 6 99 16.97 14.00 6,432 MAX VALUE 973.70 14.88 0.88 2.11
Separator constraints 0 129 10.77 0.00 4,081 0 None 29.74 2.76 1.68
Separator variables 0 82 15.58 13.00 5,904 0 None 13.93 0.89 2.09
Dual tree decomposition
Number of clusters: 486
Number of leaves: 186
Tree depth: 14
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 37 814 172.28 119.00 83,727 MAX VALUE 2,283.54 174.24 1.01 3.13
Cluster variables 10 145 31.13 25.00 15,128 MAX VALUE 1,521.57 28.56 0.92 2.79
Separator constraints 0 519 128.66 99.00 62,529 0 None 115.94 0.90 3.08
Separator variables 0 102 27.42 24.00 13,324 0 None 22.49 0.82 2.82
Primal graph
Density: 1.96%
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.79 0.35 0.33 186.47 0.00 None 0.36 1.01 1.29
Degree 5 27 10.34 9.00 5,460 MAX VALUE 1,187.23 4.58 0.44 1.76
Eccentricity 5 8 6.25 6.00 3,300 MAX VALUE 960.02 1.07 0.17 1.35
Triangulated primal graph
Density: 9.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.79 0.77 415.94 0.00 -131.94 0.12 0.15 4.37
Degree 5 211 51.28 26.00 27,078 MAX VALUE 1,767.36 54.00 1.05 4.09
Eccentricity 3 5 3.77 4.00 1,992 MAX VALUE 693.05 0.66 0.17 0.97
Dual graph
Density: 1.30%
MCB compute time (ms): 996,535
MCB cycles: 23,463
Triangles: 99,990
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.78 0.57 0.55 1,030.37 0.00 None 0.11 0.20 2.93
Degree 6 34 23.50 25.00 42,396 MAX VALUE 5,585.05 6.91 0.29 2.63
Eccentricity 5 8 6.11 6.00 11,026 MAX VALUE 3,255.87 0.66 0.11 0.83
MCB cycle size 3 10 3.29 3.00 77,142 MAX VALUE 27,576.80 0.70 0.21 0.64
Minimal dual graph
Density: 0.21%
MCB compute time (ms): 82,003
MCB cycles: 1,653
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.43 0.02 0.00 31.68 0.00 None 0.07 4.08 0.40
Degree 2 10 3.81 4.00 6,876 MAX VALUE 2,353.13 1.12 0.29 1.07
Eccentricity 9 16 12.94 13.00 23,350 MAX VALUE 4,610.35 1.28 0.10 1.65
MCB cycle size 3 12 6.42 7.00 10,606 MAX VALUE 2,969.68 2.11 0.33 2.03
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.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 1.00 0.79 0.72 1,423.28 0.00 -481.57 0.18 0.23 4.02
Degree 2 402 31.31 8.00 56,488 MAX VALUE 4,547.91 48.50 1.55 3.64
Eccentricity 3 6 4.84 5.00 8,729 MAX VALUE 2,828.29 0.64 0.13 0.96
Incidence graph
Density: 0.16%
MCB compute time (ms): 79,735
MCB cycles: 2,145
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8a3_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 27 3.81 2.00 8,880 MAX VALUE 2,418.03 3.92 1.03 0.98
Eccentricity 10 16 12.97 13.00 30,248 MAX VALUE 5,961.38 1.45 0.11 1.43
MCB cycle size 4 20 7.42 8.00 15,912 MAX VALUE 4,070.08 3.85 0.52 1.06