Instance: normalized-scen4-ext
Number of variables: 680
Number of constraints: 3967
Satisfiable: True
Timestamp: 2025-07-27 21:30:34
Stampede: v1.0.0-474-g0429781
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 680
Number of constraints: 3967
General features
Coarse blocks: 306,900
Value tables: 679
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 7,934 MAX VALUE 709.78 0.00 0.00 0.00
Coarse blocks size 1 43 21.15 23.00 6,489,490 MAX VALUE 709.78 11.11 0.53 3.50
Relational linkage 0.02 0.17 0.03 0.02 579.37 0.00 None 0.00 0.18 0.76
Tightness 0.02 0.98 0.48 0.47 1,922.71 0.00 None 0.26 0.53 5.00
Tuples 6 1,892 817.94 832.00 3,244,770 MAX VALUE 709.78 452.48 0.55 5.03
Values 6 44 39.49 36.00 26,856 MAX VALUE 709.78 5.00 0.13 0.81
Value table constraints 3 62 11.68 10.00 7,933 MAX VALUE 709.78 7.33 0.63 3.00
Value table partitions 6 44 39.49 36.00 26,812 MAX VALUE 709.78 5.00 0.13 0.81
Tree decomposition
Number of clusters: 320
Number of leaves: 75
Tree depth: 24
CIR: 0.94
Independent Cluster Pairs: 47,721
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 235 34.78 17.00 11,131 MAX VALUE 951.34 42.21 1.21 3.87
Variables per cluster 2 33 9.57 8.00 3,064 MAX VALUE 678.59 5.54 0.58 2.71
Separator constraints 0 179 22.39 8.00 7,164 0 None 34.63 1.55 3.55
Separator variables 0 28 7.45 6.00 2,384 0 None 5.33 0.72 2.72
Clusters per var 1 34 4.51 3.00 3,064 MAX VALUE 768.54 4.51 1.00 2.35
Dual tree decomposition
Number of clusters: 674
Number of leaves: 239
Tree depth: 37
CIR: 0.96
Independent Cluster Pairs: 217,717
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 4,677 287.25 115.50 193,609 MAX VALUE 3,231.16 532.32 1.85 5.37
Variables per cluster 3 315 34.65 24.00 23,356 MAX VALUE 2,157.14 37.32 1.08 4.14
Separator constraints 0 3,149 197.34 68.00 133,007 0 None 361.84 1.83 5.10
Separator variables 0 241 28.77 20.00 19,389 0 None 30.02 1.04 3.99
Clusters per variable 1 32 5.89 6.00 23,356 MAX VALUE 6,394.99 3.18 0.54 2.44
Primal graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Primal1.json
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
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: None%
MCB compute time (ms): None
MCB cycles: 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
MCB cycle size None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): 4,697,980
MCB cycles: 58,773
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Dual1.json
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
MCB cycle size 3 30 3.03 3.00 177,923 MAX VALUE 709.78 0.23 0.08 0.12
Minimal dual graph
Density: None%
MCB compute time (ms): 315,430
MCB cycles: 3,289
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
MCB cycle size 3 43 6.17 6.00 20,305 MAX VALUE 709.78 1.81 0.29 1.82
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: 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
Incidence graph
Density: None%
MCB compute time (ms): 70,207
MCB cycles: 3,288
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen4-ext/Incidence1.json
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
MCB cycle size 6 60 6.08 6.00 19,982 MAX VALUE 709.78 1.29 0.21 0.09