Instance: normalized-scen10-ext
Number of variables: 680
Number of constraints: 4103
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: 4103
General features
Coarse blocks: 319,455
Value tables: 679
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 8,206 MAX VALUE 709.78 0.00 0.00 0.00
Coarse blocks size 1 44 22.08 24.00 7,052,730 MAX VALUE 709.78 11.41 0.52 3.52
Relational linkage 0.02 0.17 0.03 0.02 587.60 0.00 None 0.00 0.17 0.76
Tightness 0.02 0.98 0.46 0.42 1,894.86 0.00 None 0.26 0.57 4.94
Tuples 6 1,892 859.47 888.00 3,526,390 MAX VALUE 709.78 468.85 0.55 4.99
Values 6 44 39.49 36.00 26,856 MAX VALUE 709.78 5.00 0.13 0.81
Value table constraints 3 62 12.08 10.00 8,205 MAX VALUE 709.78 7.77 0.64 2.99
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: 300
Number of leaves: 72
Tree depth: 24
CIR: 0.94
Independent Cluster Pairs: 41,834
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 240 35.63 16.00 10,689 MAX VALUE 885.44 46.26 1.30 3.83
Variables per cluster 2 33 9.57 8.00 2,870 MAX VALUE 634.48 5.68 0.59 2.67
Separator constraints 0 180 21.95 7.00 6,586 0 None 36.74 1.67 3.45
Separator variables 0 28 7.30 6.00 2,190 0 None 5.40 0.74 2.68
Clusters per var 1 31 4.22 3.00 2,870 MAX VALUE 716.00 4.39 1.04 2.25
Dual tree decomposition
Number of clusters: 673
Number of leaves: 239
Tree depth: 38
CIR: 0.96
Independent Cluster Pairs: 217,082
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 4,986 314.08 118.00 211,373 MAX VALUE 3,260.24 565.52 1.80 5.29
Variables per cluster 3 341 35.95 24.00 24,194 MAX VALUE 2,169.99 38.89 1.08 4.15
Separator constraints 0 2,824 216.09 72.00 145,430 0 None 381.76 1.77 5.05
Separator variables 0 253 29.85 20.00 20,091 0 None 31.12 1.04 4.01
Clusters per variable 1 33 5.90 6.00 24,194 MAX VALUE 6,632.15 3.19 0.54 2.43
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-scen10-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-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,801,620
MCB cycles: 63,969
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-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.02 3.00 193,432 MAX VALUE 709.78 0.22 0.07 0.11
Minimal dual graph
Density: None%
MCB compute time (ms): 390,337
MCB cycles: 3,428
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 44 6.15 6.00 21,095 MAX VALUE 709.78 1.79 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): 88,185
MCB cycles: 3,424
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen10-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.07 6.00 20,792 MAX VALUE 709.78 1.26 0.21 0.08