Instance: normalized-mknap-1-0-ext
Number of variables: 6
Number of constraints: 1
Satisfiable: True
Timestamp: 2025-07-20 22:08:36
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 6
Number of constraints: 1
General features
Coarse blocks: 0
Value tables: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 6 6.00 6.00 6 6 1.79 0.00 0.00 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness 0.98 0.98 0.98 0.98 0.98 0.98 -0.02 0.00 0.00 0.00
Tuples 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Values 2 2 2.00 2.00 12 64 4.16 0.00 0.00 0.00
Value table constraints None None None None 0 1 0.00 None None 0.00
Value table partitions None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Variables per cluster 6 6 6.00 6.00 6 6 1.79 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 0 0.00 0.00 0 0 None 0.00 None 0.00
Clusters per var 1 1 1.00 1.00 6 1 0.00 0.00 0.00 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Variables per cluster 1 1 1.00 1.00 1 1 0.00 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 0 0.00 0.00 0 0 None 0.00 None 0.00
Clusters per variable 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Primal graph
Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 10
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 6.00 1.00 0.00 0.00 0.00 0.00
Degree 5 5 5.00 5.00 30 15,625 9.66 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 30 59,049 10.99 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 10
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 6.00 1.00 0.00 0.00 0.00 0.00
Degree 5 5 5.00 5.00 30 15,625 9.66 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 30 59,049 10.99 0.00 0.00 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity None None None None None None None None None None
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity None None None None None None None None None None
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity None None None None None None None None None None
Incidence graph
Density: 28.57%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/mknapExtConvert/normalized-mknap-1-0-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 1.95
Degree 1 6 1.71 1.00 12 6 1.79 1.75 1.02 0.41
Eccentricity None None None None None None None None None None
MCB cycle size None None None None 0 1 0.00 None None 0.00