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

Instance comments



Component #1 Number of variables: 20
Number of constraints: 59
General features
Coarse blocks: 42,301
Value tables: 62
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 177 1.41e+28 64.82 0.00 0.00 0.00
Coarse blocks size 1 176 18.86 8.00 797,631 MAX VALUE 92,339.40 38.63 2.05 2.63
Relational linkage 0.05 0.60 0.29 0.30 5,016.93 0.00 -22,131.10 0.09 0.31 2.15
Tightness 0.63 0.86 0.64 0.63 37.51 0.00 -26.77 0.03 0.05 0.09
Tuples 1,139 2,944 2,913.41 2,944.00 171,891 MAX VALUE 470.31 232.99 0.08 0.09
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.42 2.00 274 2.62e+33 76.95 3.36 0.76 1.72
Value table partitions 20 400 277.42 400.00 17,200 MAX VALUE 311.56 177.64 0.64 0.63
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-33_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 18 14.57 15.00 102 121,306,000 18.61 2.82 0.19 1.75
Cluster variables 10 14 12.14 12.00 85 37,255,700 17.43 1.36 0.11 1.28
Separator constraints 0 13 6.14 5.00 43 0 None 3.64 0.59 1.48
Separator variables 0 13 9.29 11.00 65 0 None 3.95 0.43 1.48
Dual tree decomposition
Number of clusters: 14
Number of leaves: 4
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 84 373 186.93 161.50 2,617 2.02e+31 72.08 79.26 0.42 2.64
Cluster variables 18 43 27.36 25.00 383 8.26e+19 45.86 7.33 0.27 2.34
Separator constraints 0 282 138.57 133.50 1,940 0 None 66.52 0.48 2.64
Separator variables 0 37 23.14 23.50 324 0 None 8.49 0.37 2.44
Primal graph
Density: 64.21%
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 0.71 0.64 0.64 12.84 0.00 -8.90 0.04 0.06 2.72
Degree 9 17 12.20 12.00 244 4.18e+21 49.78 1.94 0.16 1.87
Eccentricity 2 2 2.00 2.00 40 1,048,580 13.86 0.00 0.00 0.00
Triangulated primal graph
Density: 82.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.89 0.88 17.86 0.10 -2.32 0.07 0.08 2.25
Degree 9 19 15.60 17.00 312 4.52e+23 54.47 3.14 0.20 1.99
Eccentricity 1 2 1.90 2.00 38 262,144 12.48 0.30 0.16 0.33
Dual graph
Density: 39.57%
MCB compute time (ms): 43
MCB cycles: 638
Triangles: 2,632
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.61 0.52 0.52 30.90 0.00 -38.30 0.04 0.07 3.94
Degree 17 30 22.95 23.00 1,354 MAX VALUE 184.40 2.90 0.13 2.24
Eccentricity 2 2 2.00 2.00 118 5.76e+17 40.90 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 1,916 MAX VALUE 701.49 0.06 0.02 0.02
Minimal dual graph
Density: 6.20%
MCB compute time (ms): 6
MCB cycles: 48
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.67 0.00 None 0.05 4.60 0.23
Degree 2 5 3.59 4.00 212 2.04e+32 74.39 0.67 0.19 1.01
Eccentricity 4 6 5.24 5.00 309 MAX VALUE 97.47 0.46 0.09 0.65
MCB cycle size 3 7 5.65 6.00 271 5.38e+35 82.27 0.99 0.18 1.37
Triangulated dual graph
Density: 77.79%
Triangles: 18,194
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.90 0.88 52.84 0.00 -6.60 0.05 0.06 3.53
Degree 17 56 45.12 50.00 2,662 MAX VALUE 222.31 10.94 0.24 2.67
Eccentricity 2 2 2.00 2.00 118 5.76e+17 40.90 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.44 1.00 0.78 0.76 45.87 0.00 -16.64 0.19 0.24 2.65
Degree 2 30 11.66 6.00 688 MAX VALUE 122.80 9.28 0.80 2.74
Eccentricity 2 4 3.32 3.00 196 2.64e+30 70.05 0.53 0.16 0.78
Incidence graph
Density: 5.74%
MCB compute time (ms): 12
MCB cycles: 104
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_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.48 3.00 354 MAX VALUE 107.74 2.80 0.62 1.05
Eccentricity 4 5 4.57 5.00 361 MAX VALUE 119.56 0.50 0.11 0.68
MCB cycle size 4 6 4.94 4.00 514 MAX VALUE 164.04 1.00 0.20 0.69