Instance: normalized-rand-3-20-20-60-632-fcd-27-ext
Number of variables: 20
Number of constraints: 60
Satisfiable: None
Timestamp: 2017-10-27 10:51:27
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: 48,396
Value tables: 70
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 182 17.76 8.00 859,648 MAX VALUE 105,203.00 36.84 2.07 2.56
Relational linkage 0.05 0.70 0.30 0.30 6,146.32 0.00 -25,410.00 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 13 4.17 2.00 292 6.78e+35 82.50 3.35 0.80 1.62
Value table partitions 20 400 291.43 400.00 20,400 MAX VALUE 359.49 171.67 0.59 0.60
Tree decomposition
Number of clusters: 8
Number of leaves: 3
Tree depth: 3
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/Tree1.pdf
JSON-file path:
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 22 14.50 16.00 116 1.18e+09 20.89 4.69 0.32 1.67
Cluster variables 8 13 11.38 12.00 91 250,563,000 19.34 1.80 0.16 1.49
Separator constraints 0 12 7.00 8.50 56 0 None 4.15 0.59 2.08
Separator variables 0 12 8.88 10.50 71 0 None 3.76 0.42 1.73
Dual tree decomposition
Number of clusters: 14
Number of leaves: 3
Tree depth: 5
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 97 366 187.64 171.50 2,627 3.20e+31 72.54 64.57 0.34 2.64
Cluster variables 18 43 27.36 26.50 383 9.40e+19 45.99 6.15 0.22 2.44
Separator constraints 0 214 137.29 144.00 1,922 0 None 50.71 0.37 2.64
Separator variables 0 32 23.07 24.50 323 0 None 7.55 0.33 2.44
Primal graph
Density: 62.11%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 0.76 0.65 0.65 12.91 0.00 -8.82 0.05 0.08 2.86
Degree 7 17 11.80 11.50 236 1.85e+21 48.97 2.29 0.19 1.97
Eccentricity 2 2 2.00 2.00 40 1,048,580 13.86 0.00 0.00 0.00
Triangulated primal graph
Density: 78.42%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.88 0.88 17.65 0.08 -2.58 0.08 0.09 2.48
Degree 7 19 14.90 16.00 298 1.49e+23 53.36 3.43 0.23 2.15
Eccentricity 1 2 1.85 2.00 37 131,072 11.78 0.36 0.19 0.42
Dual graph
Density: 39.83%
MCB compute time (ms): 60
MCB cycles: 646
Triangles: 2,853
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.61 0.53 0.53 31.93 0.00 -37.99 0.04 0.07 3.90
Degree 17 30 23.50 23.00 1,410 MAX VALUE 188.92 2.99 0.13 2.34
Eccentricity 2 2 2.00 2.00 120 1.15e+18 41.59 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 1,938 MAX VALUE 709.70 0.00 0.00 0.00
Minimal dual graph
Density: 5.82%
MCB compute time (ms): 6
MCB cycles: 44
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.04 0.00 2.33 0.00 None 0.10 2.52 0.53
Degree 3 5 3.43 3.00 206 6.19e+31 73.20 0.59 0.17 0.81
Eccentricity 4 6 5.27 5.00 316 MAX VALUE 99.40 0.51 0.10 0.74
MCB cycle size 3 8 5.93 6.00 261 2.98e+33 77.08 1.30 0.22 1.59
Triangulated dual graph
Density: 76.16%
Triangles: 18,109
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.89 0.88 53.21 0.00 -7.32 0.06 0.06 3.50
Degree 17 55 44.93 50.00 2,696 MAX VALUE 225.97 10.87 0.24 2.76
Eccentricity 2 2 2.00 2.00 120 1.15e+18 41.59 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 17.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.76 0.80 45.37 0.00 -18.78 0.19 0.25 2.72
Degree 3 25 10.47 6.00 628 MAX VALUE 121.17 8.19 0.78 2.43
Eccentricity 2 4 3.17 3.00 190 4.18e+29 68.20 0.55 0.17 0.82
Incidence graph
Density: 5.70%
MCB compute time (ms): 13
MCB cycles: 108
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27-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 13 4.50 3.00 360 MAX VALUE 109.02 2.87 0.64 1.10
Eccentricity 4 5 4.65 5.00 372 MAX VALUE 122.51 0.48 0.10 0.65
MCB cycle size 4 6 4.85 4.00 524 MAX VALUE 168.37 0.99 0.20 0.68