XCSP 2.1 Benchmark Database

Instance: normalized-scen7-ext
Number of variables: 400
Number of constraints: 2865
Satisfiable: True
Timestamp: 2025-07-27 21:30:34
Stampede: v1.0.0-474-g0429781
Boost: 1.64.0

Component #1

Number of variables: 400
Number of constraints: 2865

General features

Coarse blocks: 224,830
Value tables: 400

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Arity 2 2 2.00 2.00 5,730 MAX VALUE 709.78 0.00 0.00 0.00

Coarse blocks size 1 43 22.58 24.00 5,077,160 MAX VALUE 709.78 11.31 0.50 3.53

Relational linkage 0.02 0.05 0.03 0.02 335.92 0.00 None 0.00 0.13 0.73

Tightness 0.02 0.98 0.46 0.42 1,316.15 0.00 None 0.26 0.56 4.91

Tuples 22 1,892 886.07 912.00 2,538,580 MAX VALUE 709.78 471.11 0.53 4.98

Values 22 44 39.88 44.00 15,952 MAX VALUE 709.78 4.71 0.12 0.78

Value table constraints 3 62 14.32 13.00 5,730 MAX VALUE 709.78 8.89 0.62 3.17

Value table partitions 22 44 39.88 44.00 15,952 MAX VALUE 709.78 4.71 0.12 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	5,730	MAX VALUE	709.78	0.00	0.00	0.00
Coarse blocks size	1	43	22.58	24.00	5,077,160	MAX VALUE	709.78	11.31	0.50	3.53
Relational linkage	0.02	0.05	0.03	0.02	335.92	0.00	None	0.00	0.13	0.73
Tightness	0.02	0.98	0.46	0.42	1,316.15	0.00	None	0.26	0.56	4.91
Tuples	22	1,892	886.07	912.00	2,538,580	MAX VALUE	709.78	471.11	0.53	4.98
Values	22	44	39.88	44.00	15,952	MAX VALUE	709.78	4.71	0.12	0.78
Value table constraints	3	62	14.32	13.00	5,730	MAX VALUE	709.78	8.89	0.62	3.17
Value table partitions	22	44	39.88	44.00	15,952	MAX VALUE	709.78	4.71	0.12	0.78

Tree decomposition

Number of clusters: 174
Number of leaves: 38
Tree depth: 20
CIR: 0.88
Independent Cluster Pairs: 13,089
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Tree1.json

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 2 209 50.09 25.00 8,716 MAX VALUE 573.72 54.89 1.10 3.97

Variables per cluster 4 34 11.10 9.00 1,932 MAX VALUE 392.18 6.43 0.58 2.87

Separator constraints 0 161 33.63 12.00 5,851 0 None 45.02 1.34 3.74

Separator variables 0 29 8.80 7.00 1,532 0 None 6.27 0.71 2.90

Clusters per var 1 33 4.83 3.00 1,932 MAX VALUE 463.64 5.08 1.05 2.40

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	209	50.09	25.00	8,716	MAX VALUE	573.72	54.89	1.10	3.97
Variables per cluster	4	34	11.10	9.00	1,932	MAX VALUE	392.18	6.43	0.58	2.87
Separator constraints	0	161	33.63	12.00	5,851	0	None	45.02	1.34	3.74
Separator variables	0	29	8.80	7.00	1,532	0	None	6.27	0.71	2.90
Clusters per var	1	33	4.83	3.00	1,932	MAX VALUE	463.64	5.08	1.05	2.40

Dual tree decomposition

Number of clusters: 395
Number of leaves: 145
Tree depth: 22
CIR: 0.93
Independent Cluster Pairs: 72,135
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/DualTree1.json

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 6 5,265 447.11 192.00 176,607 MAX VALUE 2,070.67 689.91 1.54 5.23

Variables per cluster 5 332 44.70 31.00 17,655 MAX VALUE 1,357.08 44.99 1.01 4.30

Separator constraints 0 3,309 310.45 140.00 122,629 0 None 458.27 1.48 5.03

Separator variables 0 238 37.44 26.00 14,790 0 None 35.74 0.95 4.20

Clusters per variable 1 29 6.16 6.00 17,655 MAX VALUE 4,813.41 2.91 0.47 2.41

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	5,265	447.11	192.00	176,607	MAX VALUE	2,070.67	689.91	1.54	5.23
Variables per cluster	5	332	44.70	31.00	17,655	MAX VALUE	1,357.08	44.99	1.01	4.30
Separator constraints	0	3,309	310.45	140.00	122,629	0	None	458.27	1.48	5.03
Separator variables	0	238	37.44	26.00	14,790	0	None	35.74	0.95	4.20
Clusters per variable	1	29	6.16	6.00	17,655	MAX VALUE	4,813.41	2.91	0.47	2.41

Primal graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Primal1.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 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

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

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

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: None%
MCB compute time (ms): 3,443,900
MCB cycles: 52,826
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-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 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 3 12 3.02 3.00 159,725 MAX VALUE 709.78 0.17 0.06 0.11

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	3	12	3.02	3.00	159,725	MAX VALUE	709.78	0.17	0.06	0.11

Minimal dual graph

Density: None%
MCB compute time (ms): 222,077
MCB cycles: 2,470

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 3 23 6.34 6.00 15,658 MAX VALUE 709.78 1.52 0.24 1.79

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	3	23	6.34	6.00	15,658	MAX VALUE	709.78	1.52	0.24	1.79

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

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: 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

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

Incidence graph

Density: None%
MCB compute time (ms): 44,765
MCB cycles: 2,466
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen7-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 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 6 22 6.03 6.00 14,880 MAX VALUE 709.78 0.46 0.08 0.07

XCSP 2.1 Benchmarks