Instance: normalized-rand-2-50-23-587-230-31-ext
Number of variables: 50
Number of constraints: 473
Satisfiable: True
Timestamp: 2025-07-27 21:34:16
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 50
Number of constraints: 473
General features
Coarse blocks: 21,758
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 946 MAX VALUE 327.86 0.00 0.00 0.00
Coarse blocks size 2 23 16.81 17.00 365,702 MAX VALUE 61,022.70 2.85 0.17 2.39
Relational linkage 0.09 0.70 0.45 0.43 518.30 0.00 -948.21 0.10 0.22 2.23
Tightness 0.23 0.64 0.27 0.23 127.35 0.00 -638.87 0.09 0.32 1.12
Tuples 188 408 386.58 408.00 182,851 MAX VALUE 2,813.80 45.65 0.12 1.12
Values 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00
Value table constraints 12 25 18.92 19.00 946 MAX VALUE 146.23 3.24 0.17 2.52
Value table partitions 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00
Tree decomposition
Number of clusters: 16
Number of leaves: 7
Tree depth: 5
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 29 247 128.25 100.50 2,052 1.58e+32 74.14 79.20 0.62 2.77
Variables per cluster 13 35 23.62 22.50 378 3.34e+21 49.56 8.30 0.35 2.22
Separator constraints 0 229 98.69 78.50 1,579 0 None 76.32 0.77 2.69
Separator variables 0 34 20.50 20.00 328 0 None 9.39 0.46 2.34
Clusters per var 1 14 7.56 9.00 378 2.56e+38 88.44 3.91 0.52 2.41
Dual tree decomposition
Number of clusters: 48
Number of leaves: 24
Tree depth: 5
CIR: 0.07
Independent Cluster Pairs: 75
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 158 3,017 728.58 463.00 34,972 MAX VALUE 303.18 631.16 0.87 3.87
Variables per cluster 25 269 74.04 47.00 3,554 MAX VALUE 195.82 58.38 0.79 3.64
Separator constraints 0 1,580 546.54 408.00 26,234 0 None 372.07 0.68 3.87
Separator variables 0 203 64.19 44.00 3,081 0 None 44.59 0.69 3.61
Clusters per variable 1 10 7.51 8.00 3,554 MAX VALUE 906.61 2.42 0.32 1.91
Primal graph
Density: 38.61%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,116
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.26 0.47 0.38 0.39 19.12 0.00 -48.38 0.04 0.11 3.70
Degree 12 25 18.92 19.00 946 MAX VALUE 146.23 3.24 0.17 2.52
Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 75.35%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,449
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.90 0.89 44.81 0.00 -5.59 0.06 0.07 3.58
Degree 12 47 36.92 42.00 1,846 MAX VALUE 177.31 10.53 0.29 2.70
Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Dual graph
Density: 7.83%
MCB compute time (ms): 9,593
MCB cycles: 11,353
Triangles: 53,534
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.56 0.50 0.50 238.65 0.00 -323.67 0.01 0.02 5.11
Degree 24 47 36.95 37.00 17,476 MAX VALUE 1,703.85 4.36 0.12 2.86
Eccentricity 3 3 3.00 3.00 1,419 MAX VALUE 519.64 0.00 0.00 0.00
MCB cycle size 3 4 3.08 3.00 34,961 MAX VALUE 12,732.00 0.27 0.09 0.28
Minimal dual graph
Density: 0.80%
MCB compute time (ms): 2,554
MCB cycles: 424
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 7 3.79 4.00 1,792 MAX VALUE 618.02 0.87 0.23 1.21
Eccentricity 7 10 8.27 8.00 3,914 MAX VALUE 998.06 0.65 0.08 0.99
MCB cycle size 4 10 6.79 7.00 2,879 MAX VALUE 804.17 1.25 0.18 1.60
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 9.37%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.83 0.80 393.56 0.00 -93.42 0.14 0.16 3.81
Degree 2 154 44.25 8.00 20,928 MAX VALUE 1,272.14 57.33 1.30 3.47
Eccentricity 3 5 3.80 4.00 1,797 MAX VALUE 626.64 0.52 0.14 0.77
Incidence graph
Density: 0.69%
MCB compute time (ms): 1,138
MCB cycles: 424
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-31-ext/Incidence1.json
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.62 2.00 1,892 MAX VALUE 474.08 5.07 1.40 0.56
Eccentricity 5 6 5.90 6.00 3,088 MAX VALUE 927.97 0.29 0.05 0.32
MCB cycle size 6 6 6.00 6.00 2,544 MAX VALUE 759.71 0.00 0.00 0.00