Instance: normalized-queensKnights-10-5-mul-ext
Number of variables: 15
Number of constraints: 105
Satisfiable: True
Timestamp: 2025-06-17 13:07:17
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 15
Number of constraints: 105
General features
Coarse blocks: 8,400
Value tables: 15
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 210 4.06e+31 72.78 0.00 0.00 0.00
Coarse blocks size 2 99 25.09 10.00 210,720 MAX VALUE 21,873.50 34.50 1.38 1.47
Relational linkage 0.02 0.80 0.17 0.06 100.80 0.00 -1,494.38 0.25 1.48 1.70
Tightness 0.01 0.94 0.15 0.01 15.46 0.00 -321.35 0.21 1.42 1.73
Tuples 72 9,900 1,003.43 990.00 105,360 MAX VALUE 618.26 2,036.02 2.03 1.88
Values 10 100 40.00 10.00 600 1.00e+20 46.05 42.43 1.06 0.64
Value table constraints 14 14 14.00 14.00 210 1.56e+17 39.59 0.00 0.00 0.00
Value table partitions 10 100 40.00 10.00 600 1.00e+20 46.05 42.43 1.06 0.64
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 105 105 105.00 105.00 105 105 4.65 0.00 0.00 0.00
Cluster variables 15 15 15.00 15.00 15 15 2.71 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
Dual tree decomposition
Number of clusters: 13
Number of leaves: 7
Tree depth: 3
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 195 636 308.00 195.00 4,004 6.11e+31 73.19 149.25 0.48 1.26
Cluster variables 27 72 39.31 27.00 511 2.15e+20 46.82 15.64 0.40 1.26
Separator constraints 0 364 203.00 169.00 2,639 0 None 86.31 0.43 1.26
Separator variables 0 56 31.23 26.00 406 0 None 13.28 0.43 1.26
Primal graph
Density: 100.00%
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 15.00 1.00 0.00 0.00 0.00 0.00
Degree 14 14 14.00 14.00 210 1.56e+17 39.59 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 15.00 1.00 0.00 0.00 0.00 0.00
Degree 14 14 14.00 14.00 210 1.56e+17 39.59 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Dual graph
Density: 25.00%
MCB compute time (ms): 61
MCB cycles: 1,261
Triangles: None
Dot-file path: None
PDF-file path: None

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 0.52 0.52 0.52 54.60 0.00 -68.66 0.00 0.00 0.00
Degree 26 26 26.00 26.00 2,730 MAX VALUE 342.10 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 3,783 MAX VALUE 1,385.35 0.00 0.00 0.00
Minimal dual graph
Density: 3.57%
MCB compute time (ms): 16
MCB cycles: 96
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 6.07 0.15
Degree 2 6 3.71 4.00 390 MAX VALUE 135.13 0.85 0.23 1.18
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 5.62 6.00 540 MAX VALUE 164.14 1.02 0.18 1.42
Triangulated dual graph
Density: 75.00%
Triangles: 97,763
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.85 1.00 0.89 0.87 93.43 0.00 -12.41 0.05 0.06 1.96
Degree 26 93 78.00 90.00 8,190 MAX VALUE 452.07 20.37 0.26 1.96
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 15.57%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.70 81.90 0.00 -28.52 0.17 0.22 3.17
Degree 2 46 16.19 8.00 1,700 MAX VALUE 240.46 14.79 0.91 3.04
Eccentricity None None None None None None None None None None
Incidence graph
Density: 2.94%
MCB compute time (ms): 6
MCB cycles: 91
Dot-file path: None
PDF-file path: None
JSON-file path: None
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 14 3.50 2.00 420 MAX VALUE 112.37 3.97 1.13 0.38
Eccentricity None None None None None None None None None None
MCB cycle size 6 6 6.00 6.00 546 MAX VALUE 163.05 0.00 0.00 0.00