Instance: rand-3-24-24-76-632-fcd-10-ext
Number of variables: 24
Number of constraints: 76
Satisfiable: None
Timestamp: 2017-10-27 10:51:40
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: 73,440
Value tables: 78
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 254 23.97 9.00 1,760,450 MAX VALUE 174,689.00 53.49 2.23 2.66
Relational linkage 0.04 0.62 0.31 0.29 9,773.45 0.00 -38,387.10 0.08 0.25 2.15
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.44 2.00 346 MAX VALUE 94.45 3.67 0.83 1.58
Value table partitions 24 576 406.15 576.00 31,680 MAX VALUE 419.50 254.77 0.63 0.62
Tree decomposition
Number of clusters: 8
Number of leaves: 3
Tree depth: 3
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 33 16.75 16.00 134 1.76e+09 21.29 8.47 0.51 1.91
Cluster variables 6 17 12.88 13.50 103 533,174,000 20.09 3.37 0.26 1.73
Separator constraints 0 17 7.25 5.50 58 0 None 5.87 0.81 1.91
Separator variables 0 15 9.88 10.50 79 0 None 4.78 0.48 1.73
Dual tree decomposition
Number of clusters: 18
Number of leaves: 4
Tree depth: 6
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 60 467 243.94 236.00 4,391 MAX VALUE 97.12 104.17 0.43 2.89
Cluster variables 15 53 33.39 32.50 601 1.19e+27 62.34 9.65 0.29 2.58
Separator constraints 0 325 190.00 190.50 3,420 0 None 86.96 0.46 2.89
Separator variables 0 44 29.17 31.00 525 0 None 10.54 0.36 2.51
Primal graph
Density: 59.42%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.80 0.63 0.62 15.21 0.00 -11.09 0.07 0.11 3.18
Degree 5 19 13.67 14.00 328 8.42e+26 62.00 3.09 0.23 2.30
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Triangulated primal graph
Density: 77.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.89 0.89 21.43 0.06 -2.80 0.07 0.08 2.73
Degree 5 23 17.92 19.00 430 3.82e+29 68.11 4.54 0.25 2.30
Eccentricity 1 2 1.92 2.00 46 4,194,300 15.25 0.28 0.14 0.29
Dual graph
Density: 34.07%
MCB compute time (ms): 63
MCB cycles: 917
Triangles: 3,945
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 0.58 0.49 0.49 37.22 0.00 -54.43 0.03 0.07 4.18
Degree 14 34 25.55 26.00 1,942 MAX VALUE 245.60 3.35 0.13 2.52
Eccentricity 2 2 2.00 2.00 152 7.56e+22 52.68 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 2,752 MAX VALUE 1,007.72 0.03 0.01 0.01
Minimal dual graph
Density: 4.98%
MCB compute time (ms): 13
MCB cycles: 67
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.01 0.00 0.93 0.00 None 0.04 3.46 0.31
Degree 3 5 3.74 4.00 284 MAX VALUE 99.09 0.64 0.17 0.94
Eccentricity 5 6 5.37 5.00 408 MAX VALUE 127.42 0.48 0.09 0.66
MCB cycle size 3 7 5.81 6.00 389 MAX VALUE 116.59 1.04 0.18 1.35
Triangulated dual graph
Density: 76.42%
Triangles: 38,009
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.89 0.88 67.85 0.00 -8.76 0.06 0.06 4.03
Degree 14 73 57.32 64.00 4,356 MAX VALUE 304.05 14.62 0.26 3.24
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.91%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.79 0.78 59.68 0.00 -20.24 0.17 0.22 2.88
Degree 3 34 14.18 7.50 1,078 MAX VALUE 169.69 11.88 0.84 2.77
Eccentricity 2 4 3.05 3.00 232 2.00e+36 83.59 0.54 0.18 0.80
Incidence graph
Density: 4.61%
MCB compute time (ms): 26
MCB cycles: 132
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-10_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.46 3.04 0.67 1.02
Eccentricity 4 5 4.79 5.00 479 MAX VALUE 156.26 0.41 0.09 0.51
MCB cycle size 4 6 5.03 6.00 664 MAX VALUE 210.56 1.00 0.20 0.69