Instance: rand-3-20-20-60-632-fcd-36_ext
Number of variables: 20
Number of constraints: 60
Satisfiable: None
Timestamp: 2017-10-27 10:51:28
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 20
Number of constraints: 60
General features
Coarse blocks: 47,595
Value tables: 72
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 180 4.24e+28 65.92 0.00 0.00 0.00
Coarse blocks size 1 180 17.94 8.00 853,760 MAX VALUE 103,654.00 37.12 2.07 2.56
Relational linkage 0.05 0.65 0.30 0.30 6,458.95 0.00 -26,139.80 0.09 0.28 2.07
Tightness 0.63 0.63 0.63 0.63 37.92 0.00 -27.53 0.00 0.00 0.00
Tuples 2,944 2,944 2,944.00 2,944.00 176,640 MAX VALUE 479.25 0.00 0.00 0.00
Values 20 20 20.00 20.00 400 1.05e+26 59.91 0.00 0.00 0.00
Value table constraints 2 14 4.03 2.00 290 3.51e+35 81.84 3.30 0.82 1.42
Value table partitions 20 400 294.44 400.00 21,200 MAX VALUE 371.47 170.20 0.58 0.59
Tree decomposition
Number of clusters: 7
Number of leaves: 4
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 8 23 15.57 17.00 109 133,778,000 18.71 5.58 0.36 1.95
Cluster variables 10 14 12.43 13.00 87 43,163,100 17.58 1.59 0.13 1.28
Separator constraints 0 15 7.00 5.00 49 0 None 5.26 0.75 1.75
Separator variables 0 13 9.57 10.00 67 0 None 4.17 0.44 1.55
Dual tree decomposition
Number of clusters: 13
Number of leaves: 3
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 83 449 207.08 187.00 2,692 3.28e+29 67.96 97.93 0.47 2.56
Cluster variables 17 47 29.46 29.00 383 8.03e+18 43.53 7.73 0.26 2.25
Separator constraints 0 316 153.00 159.00 1,989 0 None 79.15 0.52 2.46
Separator variables 0 37 24.85 27.00 323 0 None 9.21 0.37 2.35
Primal graph
Density: 64.21%
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.71 0.63 0.64 12.62 0.00 -9.27 0.05 0.08 2.79
Degree 9 15 12.20 12.00 244 4.37e+21 49.83 1.69 0.14 1.64
Eccentricity 2 2 2.00 2.00 40 1,048,580 13.86 0.00 0.00 0.00
Triangulated primal graph
Density: 83.16%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.90 0.89 18.00 0.11 -2.17 0.07 0.07 2.28
Degree 9 19 15.80 16.50 316 5.89e+23 54.73 3.11 0.20 1.95
Eccentricity 1 2 1.85 2.00 37 131,072 11.78 0.36 0.19 0.42
Dual graph
Density: 39.72%
MCB compute time (ms): 27
MCB cycles: 753
Triangles: 2,794
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.59 0.52 0.52 31.11 0.00 -39.55 0.03 0.07 4.03
Degree 16 31 23.43 23.00 1,406 MAX VALUE 188.68 3.21 0.14 2.47
Eccentricity 2 2 2.00 2.00 120 1.15e+18 41.59 0.00 0.00 0.00
MCB cycle size 3 4 3.02 3.00 2,272 MAX VALUE 831.00 0.13 0.04 0.09
Minimal dual graph
Density: 5.99%
MCB compute time (ms): 6
MCB cycles: 47
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 3 5 3.53 3.50 212 3.71e+32 74.99 0.56 0.16 0.82
Eccentricity 4 6 5.08 5.00 305 MAX VALUE 97.40 0.38 0.07 0.50
MCB cycle size 4 7 5.96 6.00 280 1.55e+36 83.33 0.87 0.15 1.23
Triangulated dual graph
Density: 81.19%
Triangles: 21,145
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.84 1.00 0.91 0.90 54.59 0.00 -5.73 0.04 0.05 3.39
Degree 16 56 47.90 52.50 2,874 MAX VALUE 230.06 10.52 0.22 2.52
Eccentricity 2 2 2.00 2.00 120 1.15e+18 41.59 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 20.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.78 0.76 46.52 0.00 -16.95 0.18 0.23 2.66
Degree 3 30 11.87 7.50 712 MAX VALUE 126.80 9.47 0.80 2.59
Eccentricity 2 4 3.27 3.00 196 2.97e+30 70.17 0.54 0.17 0.80
Incidence graph
Density: 5.70%
MCB compute time (ms): 14
MCB cycles: 102
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-36_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 3 14 4.50 3.00 360 MAX VALUE 109.28 2.82 0.63 1.08
Eccentricity 4 5 4.61 5.00 369 MAX VALUE 121.84 0.49 0.11 0.67
MCB cycle size 4 6 4.86 4.00 496 MAX VALUE 159.24 0.99 0.20 0.68