XCSP 2.1 Benchmark Database

Instance: normalized-scen2-f25-ext
Number of variables: 200
Number of constraints: 1235
Satisfiable: True
Timestamp: 2025-07-27 21:32:38
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 200
Number of constraints: 1235

General features

Coarse blocks: 48,617
Value tables: 196

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

Arity 2 2 2.00 2.00 2,470 MAX VALUE 856.04 0.00 0.00 0.00

Coarse blocks size 1 20 14.73 16.00 716,098 MAX VALUE 123,008.00 5.10 0.35 2.23

Relational linkage 0.05 0.06 0.05 0.05 191.09 0.00 -11,110.20 0.00 0.08 0.69

Tightness 0.05 0.95 0.26 0.29 319.67 0.00 -2,311.49 0.25 0.97 2.05

Tuples 18 420 289.95 292.00 358,088 MAX VALUE 6,791.02 104.05 0.36 2.28

Values 18 21 19.59 21.00 3,918 MAX VALUE 594.41 1.50 0.08 0.69

Value table constraints 2 44 12.58 10.00 2,466 MAX VALUE 459.57 7.84 0.62 3.06

Value table partitions 18 21 19.58 21.00 3,837 MAX VALUE 582.39 1.50 0.08 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	2,470	MAX VALUE	856.04	0.00	0.00	0.00
Coarse blocks size	1	20	14.73	16.00	716,098	MAX VALUE	123,008.00	5.10	0.35	2.23
Relational linkage	0.05	0.06	0.05	0.05	191.09	0.00	-11,110.20	0.00	0.08	0.69
Tightness	0.05	0.95	0.26	0.29	319.67	0.00	-2,311.49	0.25	0.97	2.05
Tuples	18	420	289.95	292.00	358,088	MAX VALUE	6,791.02	104.05	0.36	2.28
Values	18	21	19.59	21.00	3,918	MAX VALUE	594.41	1.50	0.08	0.69
Value table constraints	2	44	12.58	10.00	2,466	MAX VALUE	459.57	7.84	0.62	3.06
Value table partitions	18	21	19.58	21.00	3,837	MAX VALUE	582.39	1.50	0.08	0.69

Tree decomposition

Number of clusters: 95
Number of leaves: 21
Tree depth: 14
CIR: 0.86
Independent Cluster Pairs: 3,744
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Tree1.json

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

Cluster constraints 1 188 31.07 17.00 2,952 MAX VALUE 262.67 38.76 1.25 3.53

Variables per cluster 2 21 8.24 7.00 783 MAX VALUE 186.81 4.30 0.52 2.63

Separator constraints 0 124 18.07 8.00 1,717 0 None 27.18 1.50 3.19

Separator variables 0 17 6.14 6.00 583 0 None 3.91 0.64 2.57

Clusters per var 1 26 3.92 3.00 783 MAX VALUE 216.71 3.15 0.81 2.15

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	188	31.07	17.00	2,952	MAX VALUE	262.67	38.76	1.25	3.53
Variables per cluster	2	21	8.24	7.00	783	MAX VALUE	186.81	4.30	0.52	2.63
Separator constraints	0	124	18.07	8.00	1,717	0	None	27.18	1.50	3.19
Separator variables	0	17	6.14	6.00	583	0	None	3.91	0.64	2.57
Clusters per var	1	26	3.92	3.00	783	MAX VALUE	216.71	3.15	0.81	2.15

Dual tree decomposition

Number of clusters: 196
Number of leaves: 66
Tree depth: 17
CIR: 0.89
Independent Cluster Pairs: 16,897
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/DualTree1.json

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

Cluster constraints 1 2,976 323.62 118.00 63,430 MAX VALUE 953.57 504.33 1.56 4.83

Variables per cluster 2 213 35.76 24.00 7,009 MAX VALUE 630.33 35.65 1.00 4.06

Separator constraints 0 1,644 220.06 70.50 43,131 0 None 332.00 1.51 4.69

Separator variables 0 162 29.46 19.00 5,774 0 None 28.60 0.97 3.94

Clusters per variable 1 20 5.68 6.00 7,009 MAX VALUE 1,979.77 2.60 0.46 2.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	2,976	323.62	118.00	63,430	MAX VALUE	953.57	504.33	1.56	4.83
Variables per cluster	2	213	35.76	24.00	7,009	MAX VALUE	630.33	35.65	1.00	4.06
Separator constraints	0	1,644	220.06	70.50	43,131	0	None	332.00	1.51	4.69
Separator variables	0	162	29.46	19.00	5,774	0	None	28.60	0.97	3.94
Clusters per variable	1	20	5.68	6.00	7,009	MAX VALUE	1,979.77	2.60	0.46	2.30

Primal graph

Density: 6.21%
MCB compute time (ms): None
MCB cycles: None
Triangles: 4,425
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Primal1.json

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

Clustering coefficient 0.00 1.00 None 0.70 None None None None None 4.13

Degree 1 44 12.35 10.00 2,470 MAX VALUE 459.57 7.93 0.64 3.09

Eccentricity 5 10 7.92 8.00 1,583 MAX VALUE 411.68 1.12 0.14 1.50

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	0.00	1.00	None	0.70	None	None	None	None	None	4.13
Degree	1	44	12.35	10.00	2,470	MAX VALUE	459.57	7.93	0.64	3.09
Eccentricity	5	10	7.92	8.00	1,583	MAX VALUE	411.68	1.12	0.14	1.50
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 7.49%
MCB compute time (ms): None
MCB cycles: None
Triangles: 6,743

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

Clustering coefficient 0.00 1.00 None 0.78 None None None None None 4.08

Degree 1 57 14.91 13.00 2,982 MAX VALUE 491.09 9.72 0.65 3.28

Eccentricity 5 10 7.51 7.00 1,503 MAX VALUE 401.32 1.07 0.14 1.48

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	0.00	1.00	None	0.78	None	None	None	None	None	4.08
Degree	1	57	14.91	13.00	2,982	MAX VALUE	491.09	9.72	0.65	3.28
Eccentricity	5	10	7.51	7.00	1,503	MAX VALUE	401.32	1.07	0.14	1.48
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 2.66%
MCB compute time (ms): 49,332
MCB cycles: 20,178
Triangles: 143,025
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Dual1.json

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

Clustering coefficient 0.43 1.00 None 0.52 None None None None None 5.42

Degree 1 80 32.87 32.00 40,598 MAX VALUE 4,136.70 15.57 0.47 3.92

Eccentricity 6 10 8.56 9.00 10,566 MAX VALUE 2,639.55 1.13 0.13 1.47

MCB cycle size 3 8 3.05 3.00 61,505 MAX VALUE 22,441.60 0.23 0.08 0.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	None	0.52	None	None	None	None	None	5.42
Degree	1	80	32.87	32.00	40,598	MAX VALUE	4,136.70	15.57	0.47	3.92
Eccentricity	6	10	8.56	9.00	10,566	MAX VALUE	2,639.55	1.13	0.13	1.47
MCB cycle size	3	8	3.05	3.00	61,505	MAX VALUE	22,441.60	0.23	0.08	0.19

Minimal dual graph

Density: 0.30%
MCB compute time (ms): 21,461
MCB cycles: 1,040

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

Clustering coefficient 0.00 1.00 None 0.00 None None None None None 0.28

Degree 1 6 3.68 4.00 4,540 MAX VALUE 1,574.31 0.86 0.23 1.22

Eccentricity 13 25 19.16 19.00 23,657 MAX VALUE 3,634.64 2.61 0.14 2.32

MCB cycle size 3 15 6.19 6.00 6,442 MAX VALUE 1,868.99 1.39 0.22 1.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.00	None	None	None	None	None	0.28
Degree	1	6	3.68	4.00	4,540	MAX VALUE	1,574.31	0.86	0.23	1.22
Eccentricity	13	25	19.16	19.00	23,657	MAX VALUE	3,634.64	2.61	0.14	2.32
MCB cycle size	3	15	6.19	6.00	6,442	MAX VALUE	1,868.99	1.39	0.22	1.72

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

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

Clustering coefficient 0.29 1.00 None 0.74 None None None None None 4.35

Degree 1 199 27.38 7.00 33,812 MAX VALUE 2,975.04 39.61 1.45 3.67

Eccentricity 7 13 9.95 10.00 12,285 MAX VALUE 2,830.50 1.01 0.10 1.41

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.29	1.00	None	0.74	None	None	None	None	None	4.35
Degree	1	199	27.38	7.00	33,812	MAX VALUE	2,975.04	39.61	1.45	3.67
Eccentricity	7	13	9.95	10.00	12,285	MAX VALUE	2,830.50	1.01	0.10	1.41

Incidence graph

Density: 0.24%
MCB compute time (ms): 5,234
MCB cycles: 1,036
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensModExtConvert/normalized-scen2-f25-ext/Incidence1.json

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

Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.52

Degree 1 44 3.44 2.00 4,940 MAX VALUE 1,315.61 4.65 1.35 0.82

Eccentricity 11 21 17.13 18.00 24,585 MAX VALUE 4,064.21 2.21 0.13 1.94

MCB cycle size 6 16 6.03 6.00 6,250 MAX VALUE 1,860.63 0.39 0.06 0.07

XCSP 2.1 Benchmarks