Instance: 1-insertions-5-5-ext
Number of variables: 202
Number of constraints: 1227
Satisfiable: True
Timestamp: 2025-07-27 21:34:42
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 202
Number of constraints: 1227
General features
Coarse blocks: 12,270
Value tables: 202
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2,454 MAX VALUE 850.49 0.00 0.00 0.00
Coarse blocks size 4 4 4.00 4.00 49,080 MAX VALUE 17,009.80 0.00 0.00 0.00
Relational linkage 0.80 0.80 0.80 0.80 808.00 0.00 -225.38 0.00 0.00 0.00
Tightness 0.20 0.20 0.20 0.20 245.40 0.00 -1,974.78 0.00 0.00 0.00
Tuples 20 20 20.00 20.00 24,540 MAX VALUE 3,675.76 0.00 0.00 0.00
Values 5 5 5.00 5.00 1,010 MAX VALUE 325.11 0.00 0.00 0.00
Value table constraints 5 67 12.15 10.00 2,454 MAX VALUE 484.94 6.66 0.55 2.08
Value table partitions 5 5 5.00 5.00 1,010 MAX VALUE 325.11 0.00 0.00 0.00
Tree decomposition
Number of clusters: 124
Number of leaves: 98
Tree depth: 8
CIR: 0.17
Independent Cluster Pairs: 1,283
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 144 21.40 9.00 2,654 0 None 29.65 1.39 2.70
Variables per cluster 6 61 15.50 10.00 1,922 MAX VALUE 312.32 12.71 0.82 2.63
Separator constraints 0 108 11.51 0.00 1,427 0 None 25.70 2.23 1.04
Separator variables 0 55 13.87 9.00 1,720 0 None 11.68 0.84 2.68
Clusters per var 1 92 9.51 5.00 1,922 MAX VALUE 281.95 11.58 1.22 2.36
Dual tree decomposition
Number of clusters: 200
Number of leaves: 86
Tree depth: 8
CIR: 0.57
Independent Cluster Pairs: 11,317
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 64 4,482 398.58 172.00 79,716 MAX VALUE 1,083.57 630.47 1.58 4.35
Variables per cluster 16 542 58.34 30.50 11,667 MAX VALUE 731.71 76.49 1.31 3.93
Separator constraints 0 2,490 307.80 148.00 61,560 0 None 427.02 1.39 4.34
Separator variables 0 400 52.20 29.00 10,440 0 None 61.08 1.17 3.92
Clusters per variable 1 16 9.51 11.00 11,667 MAX VALUE 2,547.84 4.05 0.43 2.53
Primal graph
Density: 6.04%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Primal1.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 5 67 12.15 10.00 2,454 MAX VALUE 484.94 6.66 0.55 2.08
Eccentricity 3 3 3.00 3.00 606 MAX VALUE 221.92 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 21.79%
MCB compute time (ms): None
MCB cycles: None
Triangles: 76,545
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.28 1.00 0.86 0.89 172.90 0.00 -35.59 0.16 0.19 3.00
Degree 5 169 43.79 26.00 8,846 MAX VALUE 652.77 38.57 0.88 3.68
Eccentricity 2 3 2.48 2.00 501 MAX VALUE 179.35 0.50 0.20 0.69
MCB cycle size None None None None None None None None None None
Dual graph
Density: 2.41%
MCB compute time (ms): 400,323
MCB cycles: 23,277
Triangles: 136,238
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.89 0.56 0.51 682.23 0.00 -737.93 0.10 0.18 2.96
Degree 15 88 29.59 26.00 36,312 MAX VALUE 4,064.62 13.37 0.45 2.84
Eccentricity 4 4 4.00 4.00 4,908 MAX VALUE 1,700.98 0.00 0.00 0.00
MCB cycle size 3 7 3.42 3.00 79,653 MAX VALUE 28,209.50 0.73 0.21 0.84
Minimal dual graph
Density: 0.30%
MCB compute time (ms): 56,560
MCB cycles: 1,026
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.67 4.00 4,504 MAX VALUE 1,567.70 0.82 0.22 1.10
Eccentricity 8 13 10.42 10.00 12,787 MAX VALUE 2,872.40 0.79 0.08 1.18
MCB cycle size 4 12 7.08 7.00 7,269 MAX VALUE 1,985.50 1.52 0.21 1.76
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: 6.38%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.83 0.81 1,023.98 0.00 -239.06 0.14 0.16 4.12
Degree 2 329 78.26 8.00 96,028 MAX VALUE 3,458.81 119.61 1.53 3.65
Eccentricity 3 5 3.86 4.00 4,742 MAX VALUE 1,646.32 0.54 0.14 0.80
Incidence graph
Density: 0.24%
MCB compute time (ms): 31,622
MCB cycles: 1,026
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-5-5-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 67 3.43 2.00 4,908 MAX VALUE 1,335.43 4.33 1.26 0.70
Eccentricity 7 8 7.86 8.00 11,230 MAX VALUE 2,944.55 0.35 0.04 0.41
MCB cycle size 8 14 8.01 8.00 8,214 MAX VALUE 2,134.07 0.19 0.02 0.01