Instance: normalized-os-taillard-7-100-4-ext
Number of variables: 49
Number of constraints: 294
Satisfiable: True
Timestamp: 2025-07-27 21:29:58
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 49
Number of constraints: 294
General features
Coarse blocks: 214,800
Value tables: 49
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 588 MAX VALUE 203.78 0.00 0.00 0.00
Coarse blocks size 125 407 273.46 272.00 58,739,500 MAX VALUE 1,201,090.00 52.88 0.19 5.25
Relational linkage None None None None None None None None None None
Tightness 0.02 0.51 0.26 0.27 76.44 0.00 -421.56 0.09 0.36 5.54
Tuples 49,952 166,056 99,897.10 97,032.00 29,369,700 MAX VALUE 3,377.18 22,329.50 0.22 4.69
Values 318 413 365.31 362.00 17,900 MAX VALUE 289.01 26.39 0.07 3.61
Value table constraints 12 12 12.00 12.00 588 MAX VALUE 121.76 0.00 0.00 0.00
Value table partitions 318 413 365.31 362.00 17,900 MAX VALUE 289.01 26.39 0.07 3.61
Tree decomposition
Number of clusters: 12
Number of leaves: 7
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 42 116 59.50 42.00 714 8.62e+20 48.21 23.90 0.40 1.08
Variables per cluster 13 32 18.08 13.00 217 5.99e+14 34.03 6.58 0.36 1.08
Separator constraints 0 60 35.00 30.00 420 0 None 15.00 0.43 1.08
Separator variables 0 24 14.00 12.00 168 0 None 6.00 0.43 1.08
Clusters per var 1 6 4.43 5.00 217 8.03e+28 66.56 1.69 0.38 1.47
Dual tree decomposition
Number of clusters: 47
Number of leaves: 24
Tree depth: 5
CIR: 0.31
Independent Cluster Pairs: 319
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 137 506 215.06 137.00 10,108 MAX VALUE 248.19 99.09 0.46 1.81
Variables per cluster 23 120 40.21 23.00 1,890 MAX VALUE 167.01 24.32 0.60 1.73
Separator constraints 0 280 146.25 115.00 6,874 0 None 51.12 0.35 1.77
Separator variables 0 84 33.96 22.00 1,596 0 None 17.99 0.53 1.71
Clusters per variable 1 10 6.43 7.00 1,890 MAX VALUE 501.40 2.82 0.44 2.13
Primal graph
Density: 25.00%
MCB compute time (ms): None
MCB cycles: None
Triangles: 490
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.45 0.45 0.45 22.27 0.00 -38.63 0.00 0.00 0.00
Degree 12 12 12.00 12.00 588 MAX VALUE 121.76 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 68.45%
MCB compute time (ms): None
MCB cycles: None
Triangles: 7,874
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.87 0.85 42.51 0.00 -7.09 0.06 0.07 1.70
Degree 12 41 32.86 37.00 1,610 MAX VALUE 167.56 10.24 0.31 1.70
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Dual graph
Density: 7.51%
MCB compute time (ms): 1,945
MCB cycles: 4,386
Triangles: 11,270
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.50 0.50 0.50 146.36 0.00 -205.06 0.00 0.00 0.00
Degree 22 22 22.00 22.00 6,468 MAX VALUE 908.77 0.00 0.00 0.00
Eccentricity 3 3 3.00 3.00 882 MAX VALUE 322.99 0.00 0.00 0.00
MCB cycle size 3 5 3.39 3.00 14,849 MAX VALUE 5,291.43 0.58 0.17 0.78
Minimal dual graph
Density: 1.25%
MCB compute time (ms): 554
MCB cycles: 252
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.03 10.24 0.06
Degree 2 6 3.67 4.00 1,078 MAX VALUE 375.63 0.78 0.21 1.11
Eccentricity 6 10 7.93 8.00 2,330 MAX VALUE 607.54 0.67 0.08 1.02
MCB cycle size 3 10 6.38 6.00 1,607 MAX VALUE 459.83 1.45 0.23 1.74
Triangulated dual graph
Density: 39.58%
Triangles: 608,352
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.82 0.82 240.09 0.00 -62.22 0.11 0.14 3.62
Degree 22 195 115.97 123.00 34,094 MAX VALUE 1,340.74 60.04 0.52 3.36
Eccentricity 2 3 2.35 2.00 692 MAX VALUE 245.95 0.48 0.20 0.65
Triangulated minimal dual graph
Density: 9.14%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.80 0.75 234.47 0.00 -72.21 0.16 0.20 3.63
Degree 2 96 26.77 8.00 7,870 MAX VALUE 728.64 32.07 1.20 3.34
Eccentricity 3 5 3.81 4.00 1,121 MAX VALUE 390.46 0.54 0.14 0.80
Incidence graph
Density: 1.00%
MCB compute time (ms): 405
MCB cycles: 246
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-4-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 12 3.43 2.00 1,176 MAX VALUE 325.55 3.50 1.02 0.41
Eccentricity 5 6 5.86 6.00 2,009 MAX VALUE 605.64 0.35 0.06 0.41
MCB cycle size 6 8 6.29 6.00 1,548 MAX VALUE 451.13 0.71 0.11 0.42