Instance: rand-3-24-24-76-632-fcd-34-ext
Number of variables: 24
Number of constraints: 76
Satisfiable: None
Timestamp: 2017-10-27 10:51:45
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 24
Number of constraints: 76
General features
Coarse blocks: 76,896
Value tables: 76
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 228 1.82e+36 83.49 0.00 0.00 0.00
Coarse blocks size 1 248 23.29 9.00 1,790,980 MAX VALUE 182,069.00 52.37 2.25 2.65
Relational linkage 0.04 0.62 0.30 0.29 9,288.88 0.00 -37,444.20 0.08 0.26 2.16
Tightness 0.63 0.63 0.63 0.63 48.03 0.00 -34.88 0.00 0.00 0.00
Tuples 5,088 5,088 5,088.00 5,088.00 386,688 MAX VALUE 648.63 0.00 0.00 0.00
Values 24 24 24.00 24.00 576 1.33e+33 76.27 0.00 0.00 0.00
Value table constraints 2 14 4.63 2.50 352 MAX VALUE 96.25 3.67 0.79 1.80
Value table partitions 24 576 401.68 576.00 30,528 MAX VALUE 406.79 256.59 0.64 0.62
Tree decomposition
Number of clusters: 9
Number of leaves: 5
Tree depth: 3
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 24 15.89 16.00 143 2.24e+10 23.83 6.44 0.41 2.04
Cluster variables 7 16 12.56 13.00 113 5.86e+09 22.49 2.95 0.23 1.52
Separator constraints 0 19 7.44 6.00 67 0 None 5.96 0.80 2.04
Separator variables 0 15 9.89 10.00 89 0 None 4.41 0.45 1.74
Dual tree decomposition
Number of clusters: 16
Number of leaves: 6
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 107 481 228.75 194.00 3,660 1.10e+37 85.29 108.41 0.47 2.77
Cluster variables 19 53 31.19 27.50 499 3.73e+23 54.27 9.98 0.32 2.60
Separator constraints 0 299 169.19 154.50 2,707 0 None 81.09 0.48 2.77
Separator variables 0 41 26.44 25.00 423 0 None 10.02 0.38 2.43
Primal graph
Density: 56.52%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.81 0.61 0.59 14.71 0.00 -11.91 0.07 0.12 3.18
Degree 6 19 13.00 13.00 312 2.80e+26 60.90 2.86 0.22 2.27
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Triangulated primal graph
Density: 75.72%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.88 0.88 21.14 0.04 -3.14 0.08 0.09 2.61
Degree 6 23 17.42 19.00 418 1.93e+29 67.43 4.59 0.26 2.17
Eccentricity 1 2 1.96 2.00 47 8,388,610 15.94 0.20 0.10 0.17
Dual graph
Density: 33.44%
MCB compute time (ms): 53
MCB cycles: 952
Triangles: 3,856
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 0.60 0.50 0.50 37.95 0.00 -53.03 0.04 0.08 4.20
Degree 18 33 25.08 25.00 1,906 MAX VALUE 244.27 3.15 0.13 2.46
Eccentricity 2 3 2.03 2.00 154 1.70e+23 53.49 0.16 0.08 0.12
MCB cycle size 3 4 3.01 3.00 2,861 MAX VALUE 1,047.32 0.07 0.02 0.03
Minimal dual graph
Density: 4.84%
MCB compute time (ms): 11
MCB cycles: 63
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.01 0.00 1.00 0.00 None 0.04 3.42 0.28
Degree 2 5 3.63 4.00 276 MAX VALUE 96.49 0.72 0.20 1.07
Eccentricity 5 6 5.41 5.00 411 MAX VALUE 127.97 0.49 0.09 0.68
MCB cycle size 3 8 5.78 6.00 364 MAX VALUE 109.33 1.05 0.18 1.40
Triangulated dual graph
Density: 75.26%
Triangles: 36,869
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.89 0.87 67.60 0.00 -9.03 0.05 0.06 3.72
Degree 18 70 56.45 64.00 4,290 MAX VALUE 302.61 14.89 0.26 2.94
Eccentricity 2 2 2.00 2.00 152 7.56e+22 52.68 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 18.14%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.75 59.52 0.00 -20.50 0.18 0.22 2.89
Degree 2 37 13.61 7.50 1,034 MAX VALUE 165.56 11.63 0.85 2.79
Eccentricity 2 4 2.92 3.00 222 7.90e+34 80.36 0.48 0.16 0.70
Incidence graph
Density: 4.61%
MCB compute time (ms): 31
MCB cycles: 129
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-34_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.56 3.00 456 MAX VALUE 136.37 3.06 0.67 1.01
Eccentricity 4 6 4.90 5.00 490 MAX VALUE 158.63 0.36 0.07 0.46
MCB cycle size 4 6 4.88 4.00 630 MAX VALUE 201.94 0.99 0.20 0.69