Instance: normalized-dubois-21-ext
Number of variables: 63
Number of constraints: 42
Satisfiable: True
Timestamp: 2025-07-20 22:08:18
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 63
Number of constraints: 42
General features
Coarse blocks: 252
Value tables: 61
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 126 1.09e+20 46.14 0.00 0.00 0.00
Coarse blocks size 1 2 1.94 2.00 488 MAX VALUE 163.58 0.24 0.13 0.24
Relational linkage 0.50 0.50 0.50 0.50 63.00 0.00 -87.34 0.00 0.00 0.00
Tightness 0.50 0.50 0.50 0.50 21.00 0.00 -29.11 0.00 0.00 0.00
Tuples 4 4 4.00 4.00 168 1.93e+25 58.22 0.00 0.00 0.00
Values 2 2 2.00 2.00 126 9.22e+18 43.67 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 122 2.31e+18 42.28 0.00 0.00 0.00
Value table partitions 2 4 2.07 2.00 126 9.22e+18 43.67 0.36 0.17 0.14
Tree decomposition
Number of clusters: 40
Number of leaves: 2
Tree depth: 20
CIR: 0.95
Independent Cluster Pairs: 701
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 2 1.05 1.00 42 4 1.39 0.22 0.21 0.20
Variables per cluster 4 4 4.00 4.00 160 1.21e+24 55.45 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 3 2.42 2.00 97 0 None 0.63 0.26 0.79
Clusters per var 1 4 2.54 3.00 160 2.24e+24 56.07 0.66 0.26 0.99
Dual tree decomposition
Number of clusters: 40
Number of leaves: 2
Tree depth: 20
CIR: 0.95
Independent Cluster Pairs: 702
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00
Variables per cluster 3 3 3.00 3.00 120 1.22e+19 43.94 0.00 0.00 0.00
Separator constraints 0 1 0.47 0.00 19 0 None 0.50 1.05 0.69
Separator variables 0 2 1.95 2.00 78 0 None 0.31 0.16 0.12
Clusters per variable 1 4 2.86 3.00 120 4.80e+18 43.02 0.52 0.18 0.55
Primal graph
Density: 6.35%
MCB compute time (ms): 3
MCB cycles: 77
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 0.67 0.35 0.33 22.33 0.00 -66.44 0.08 0.23 0.24
Degree 3 4 3.94 4.00 248 2.69e+37 86.19 0.24 0.06 0.24
Eccentricity None None None None None None None None None None
MCB cycle size 3 5 3.65 3.00 281 MAX VALUE 98.01 0.79 0.22 1.00
Triangulated primal graph
Density: 8.35%
MCB compute time (ms): 2
MCB cycles: 101
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.66 0.53 41.32 0.00 -28.36 0.16 0.25 1.15
Degree 3 7 5.17 6.00 326 MAX VALUE 101.98 1.09 0.21 1.15
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 303 MAX VALUE 110.96 0.00 0.00 0.00
Dual graph
Density: 7.08%
MCB compute time (ms): 1
MCB cycles: 20
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Dual1.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 3 2.90 3.00 122 2.16e+19 44.52 0.29 0.10 0.31
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 80 1.10e+12 27.73 0.00 0.00 0.00
Minimal dual graph
Density: 7.08%
MCB compute time (ms): 1
MCB cycles: 20
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 3 2.90 3.00 122 2.16e+19 44.52 0.29 0.10 0.31
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 80 1.10e+12 27.73 0.00 0.00 0.00
Triangulated dual graph
Density: 9.41%
Triangles: 40
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.53 0.50 22.40 0.00 -27.09 0.11 0.21 0.55
Degree 2 5 3.86 4.00 162 2.55e+24 56.20 0.52 0.13 0.55
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 9.41%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.53 0.50 22.40 0.00 -27.09 0.11 0.21 0.55
Degree 2 5 3.86 4.00 162 2.55e+24 56.20 0.52 0.13 0.55
Eccentricity None None None None None None None None None None
Incidence graph
Density: 2.31%
MCB compute time (ms): 7
MCB cycles: 22
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-21-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 3 2.40 2.00 252 MAX VALUE 89.81 0.49 0.20 0.67
Eccentricity None None None None None None None None None None
MCB cycle size 4 8 7.64 8.00 168 1.84e+19 44.36 1.15 0.15 0.30