Instance: rand-26-26-325-155-53021-ext
Number of variables: 26
Number of constraints: 325
Satisfiable: None
Timestamp: 2017-10-27 10:50:13
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 26
Number of constraints: 325
General features
Coarse blocks: 16,900
Value tables: 26
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00
Coarse blocks size 10 26 20.04 20.00 338,650 MAX VALUE 50,563.70 2.11 0.11 2.16
Relational linkage 0.38 0.73 0.60 0.62 407.69 0.00 -344.04 0.05 0.08 1.60
Tightness 0.23 0.23 0.23 0.23 74.52 0.00 -478.65 0.00 0.00 0.00
Tuples 521 521 521.00 521.00 169,325 MAX VALUE 2,033.12 0.00 0.00 0.00
Values 26 26 26.00 26.00 676 6.16e+36 84.71 0.00 0.00 0.00
Value table constraints 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00
Value table partitions 26 26 26.00 26.00 676 6.16e+36 84.71 0.00 0.00 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 325 325 325.00 325.00 325 325 5.78 0.00 0.00 0.00
Cluster variables 26 26 26.00 26.00 26 26 3.26 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 24
Number of leaves: 13
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 624 3,648 1,185.00 624.00 28,440 MAX VALUE 165.53 811.46 0.68 1.28
Cluster variables 49 224 85.21 49.00 2,045 MAX VALUE 103.35 49.73 0.58 1.28
Separator constraints 0 1,920 860.00 576.00 20,640 0 None 455.77 0.53 1.28
Separator variables 0 160 71.67 48.00 1,720 0 None 37.98 0.53 1.28
Primal graph
Density: 100.00%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 26.00 1.00 0.00 0.00 0.00 0.00
Degree 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 26 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 26.00 1.00 0.00 0.00 0.00 0.00
Degree 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 26 1 0.00 0.00 0.00 0.00
Dual graph
Density: 14.81%
MCB compute time (ms): 87,274
MCB cycles: 7,534
Triangles: 62,400
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.51 0.51 0.51 165.96 0.00 -218.43 0.00 0.00 0.00
Degree 48 48 48.00 48.00 15,600 MAX VALUE 1,258.14 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 22,604 MAX VALUE 8,277.52 0.02 0.01 0.00
Minimal dual graph
Density: 1.19%
MCB compute time (ms): 813
MCB cycles: 300
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.23 0.00 None 0.03 6.80 0.16
Degree 2 6 3.84 4.00 1,248 MAX VALUE 429.26 0.84 0.22 1.22
Eccentricity 6 8 7.09 7.00 2,304 MAX VALUE 635.72 0.50 0.07 0.74
MCB cycle size 3 10 6.78 7.00 2,034 MAX VALUE 569.47 1.12 0.17 1.47
Triangulated dual graph
Density: 71.60%
Triangles: 2,735,100
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.84 1.00 0.89 0.87 288.41 0.00 -39.29 0.05 0.06 2.07
Degree 48 281 232.00 265.00 75,400 MAX VALUE 1,746.44 68.62 0.30 2.07
Eccentricity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 11.32%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.82 0.80 267.96 0.00 -66.81 0.13 0.16 3.77
Degree 2 116 36.68 9.00 11,920 MAX VALUE 864.19 43.62 1.19 3.45
Eccentricity 3 5 3.70 4.00 1,204 MAX VALUE 422.28 0.52 0.14 0.76
Incidence graph
Density: 1.06%
MCB compute time (ms): 138
MCB cycles: 300
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-53021_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 2 25 3.70 2.00 1,300 MAX VALUE 308.96 6.02 1.63 0.26
Eccentricity 3 4 3.93 4.00 1,378 MAX VALUE 479.11 0.26 0.07 0.26
MCB cycle size 6 6 6.00 6.00 1,800 MAX VALUE 537.53 0.00 0.00 0.00