Instance: normalized-ortholatin-2-ext
Number of variables: 12
Number of constraints: 13
Satisfiable: True
Timestamp: 2025-07-20 22:08:40
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 12
Number of constraints: 13
General features
Coarse blocks: 80
Value tables: 12
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 4 2.46 2.00 32 82,944 11.33 0.63 0.26 0.86
Coarse blocks size 1 6 2.20 1.00 176 1.85e+17 39.76 1.94 0.88 0.95
Relational linkage 0.09 0.25 0.17 0.17 5.50 0.00 -60.05 0.08 0.45 0.69
Tightness 0.50 0.91 0.61 0.50 7.91 0.00 -6.79 0.14 0.23 0.86
Tuples 2 24 4.31 2.00 56 1,572,860 14.27 5.76 1.34 0.86
Values 2 4 2.67 2.00 32 65,536 11.09 0.94 0.35 0.64
Value table constraints 2 3 2.67 3.00 32 104,976 11.56 0.47 0.18 0.64
Value table partitions 2 4 2.67 2.00 32 65,536 11.09 0.94 0.35 0.64
Tree decomposition
Number of clusters: 6
Number of leaves: 4
Tree depth: 2
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 2.17 3.00 13 0 None 1.21 0.56 0.87
Variables per cluster 5 7 5.67 5.00 34 30,625 10.33 0.94 0.17 0.64
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 6 3.67 4.00 22 0 None 1.80 0.49 0.87
Clusters per var 1 5 2.83 3.00 34 27,000 10.20 1.57 0.55 1.47
Dual tree decomposition
Number of clusters: 7
Number of leaves: 4
Tree depth: 2
CIR: 0.13
Independent Cluster Pairs: 2
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 6 5.14 6.00 36 82,944 11.33 0.99 0.19 0.68
Variables per cluster 5 6 5.29 5.00 37 112,500 11.63 0.45 0.09 0.60
Separator constraints 0 2 1.14 2.00 8 0 None 0.99 0.87 0.68
Separator variables 0 4 3.43 4.00 24 0 None 1.40 0.41 0.41
Clusters per variable 1 5 2.85 3.00 37 50,625 10.83 1.66 0.58 1.09
Primal graph
Density: 39.39%
MCB compute time (ms): 0
MCB cycles: 15
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 0.40 0.24 0.17 2.93 0.00 -18.00 0.11 0.45 0.64
Degree 4 5 4.33 4.00 52 40,960,000 17.53 0.47 0.11 0.64
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.53 4.00 53 143,327,000 18.78 0.50 0.14 0.69
Triangulated primal graph
Density: 65.15%
MCB compute time (ms): 0
MCB cycles: 32
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.83 0.82 9.92 0.08 -2.47 0.14 0.17 1.47
Degree 4 10 7.17 8.00 86 8.26e+09 22.83 2.41 0.34 1.47
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 96 1.85e+15 35.16 0.00 0.00 0.00
Dual graph
Density: 35.90%
MCB compute time (ms): 0
MCB cycles: 19
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.27 0.33 3.47 0.00 None 0.10 0.37 0.86
Degree 4 5 4.31 4.00 56 163,840,000 18.91 0.46 0.11 0.62
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.58 4.00 68 2.75e+10 24.04 0.49 0.14 0.68
Minimal dual graph
Density: 25.64%
MCB compute time (ms): 0
MCB cycles: 8
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 4 3.08 3.00 40 1,679,620 14.33 0.62 0.20 0.93
Eccentricity None None None None None None None None None None
MCB cycle size 4 5 4.50 4.50 36 160,000 11.98 0.50 0.11 0.69
Triangulated dual graph
Density: 56.41%
Triangles: 66
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.58 1.00 0.80 0.76 10.36 0.04 -3.28 0.18 0.22 1.09
Degree 4 10 6.77 7.00 88 2.46e+10 23.93 2.49 0.37 1.09
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 41.03%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.72 0.67 9.37 0.01 -4.72 0.20 0.27 1.35
Degree 2 8 4.92 5.00 64 265,421,000 19.40 2.09 0.43 1.78
Eccentricity None None None None None None None None None None
Incidence graph
Density: 10.67%
MCB compute time (ms): 0
MCB cycles: 8
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ortholatinExtConvert/normalized-ortholatin-2-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 4 2.56 3.00 64 8.71e+09 22.89 0.57 0.22 0.83
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 64 16,777,200 16.64 0.00 0.00 0.00