Instance: normalized-ash608GPIA-4-ext
Number of variables: 1216
Number of constraints: 7844
Satisfiable: True
Timestamp: 2025-07-27 21:35:01
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1216
Number of constraints: 7844
General features
Coarse blocks: 62,748
Value tables: 1,215
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 15,688 MAX VALUE 5,437.05 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 188,244 MAX VALUE 68,935.70 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 3,645.00 0.00 -1,398.13 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 1,961.00 0.00 -10,874.10 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 94,128 MAX VALUE 19,491.60 0.00 0.00 0.00
Values 4 4 4.00 4.00 4,864 MAX VALUE 1,685.73 0.00 0.00 0.00
Value table constraints 5 20 12.91 13.00 15,687 MAX VALUE 3,080.28 2.65 0.21 2.38
Value table partitions 4 4 4.00 4.00 4,860 MAX VALUE 1,684.35 0.00 0.00 0.00
Tree decomposition
Number of clusters: 584
Number of leaves: 315
Tree depth: 28
CIR: 0.88
Independent Cluster Pairs: 148,760
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 213 37.26 19.00 21,761 MAX VALUE 1,911.07 35.72 0.96 4.02
Variables per cluster 2 125 25.67 16.00 14,991 MAX VALUE 1,765.93 19.92 0.78 3.69
Separator constraints 0 162 23.83 4.00 13,917 0 None 31.56 1.32 3.41
Separator variables 0 100 23.59 15.00 13,775 0 None 17.33 0.73 3.68
Clusters per var 1 39 12.33 12.00 14,991 MAX VALUE 2,345.91 9.92 0.80 3.13
Dual tree decomposition
Number of clusters: 1,214
Number of leaves: 601
Tree depth: 22
CIR: 0.95
Independent Cluster Pairs: 697,166
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 2,138 324.92 211.00 394,451 MAX VALUE 6,641.08 306.01 0.94 4.92
Variables per cluster 6 472 56.74 33.00 68,882 MAX VALUE 4,515.90 61.21 1.08 4.16
Separator constraints 0 1,494 244.44 182.00 296,754 0 None 200.31 0.82 4.84
Separator variables 0 334 50.28 32.00 61,038 0 None 47.26 0.94 4.02
Clusters per variable 1 28 8.78 9.00 68,882 MAX VALUE 15,461.70 4.62 0.53 2.78
Primal graph
Density: 1.06%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,066
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.03 None None None None None 3.44
Degree 1 20 12.90 13.00 15,688 MAX VALUE 3,080.28 2.67 0.21 2.39
Eccentricity 9 16 12.00 12.00 14,591 MAX VALUE 3,012.25 1.47 0.12 1.79
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: 0.32%
MCB compute time (ms): None
MCB cycles: None
Triangles: 391,510
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.48 0.48 3,798.17 0.00 -5,690.17 0.01 0.02 4.14
Degree 5 38 24.91 25.00 195,394 MAX VALUE 25,071.50 4.66 0.19 2.95
Eccentricity 9 16 12.23 12.00 95,927 MAX VALUE 19,591.70 1.34 0.11 1.69
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.05%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.67 0.00 None 0.00 54.23 0.00
Degree 2 6 3.69 4.00 28,944 MAX VALUE 10,112.20 0.68 0.18 0.99
Eccentricity 17 29 23.57 24.00 184,875 MAX VALUE 24,743.90 2.42 0.10 2.26
MCB cycle size None None None None None None None None None None
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: 1.40%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.39 1.00 0.81 0.80 6,368.22 0.00 -1,794.59 0.16 0.20 4.88
Degree 2 1,006 109.80 8.00 861,274 MAX VALUE 22,907.50 199.91 1.82 4.28
Eccentricity 5 9 6.52 7.00 51,174 MAX VALUE 14,657.00 0.76 0.12 1.15
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-4-ext/Incidence1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.00 None None None None None 0.00
Degree 1 20 3.46 2.00 31,376 MAX VALUE 8,517.33 3.84 1.11 0.71
Eccentricity 18 33 24.83 25.00 224,934 MAX VALUE 29,044.10 2.73 0.11 2.38
MCB cycle size None None None None None None None None None None