XCSP 2.1 Benchmark Database

Instance: normalized-rand-2-50-23-587-230-49-ext
Number of variables: 50
Number of constraints: 471
Satisfiable: True
Timestamp: 2025-07-27 21:34:16
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 50
Number of constraints: 471

General features

Coarse blocks: 21,666
Value tables: 50

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

Arity 2 2 2.00 2.00 942 MAX VALUE 326.47 0.00 0.00 0.00

Coarse blocks size 3 23 16.78 17.00 363,518 MAX VALUE 60,728.40 2.84 0.17 2.40

Relational linkage 0.13 0.70 0.46 0.48 523.52 0.00 -937.64 0.10 0.22 2.24

Tightness 0.23 0.66 0.27 0.23 127.41 0.00 -633.70 0.09 0.32 1.13

Tuples 182 408 385.90 408.00 181,759 MAX VALUE 2,801.15 45.20 0.12 1.13

Values 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00

Value table constraints 8 27 18.84 18.50 942 MAX VALUE 145.88 3.45 0.18 2.44

Value table partitions 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	942	MAX VALUE	326.47	0.00	0.00	0.00
Coarse blocks size	3	23	16.78	17.00	363,518	MAX VALUE	60,728.40	2.84	0.17	2.40
Relational linkage	0.13	0.70	0.46	0.48	523.52	0.00	-937.64	0.10	0.22	2.24
Tightness	0.23	0.66	0.27	0.23	127.41	0.00	-633.70	0.09	0.32	1.13
Tuples	182	408	385.90	408.00	181,759	MAX VALUE	2,801.15	45.20	0.12	1.13
Values	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00
Value table constraints	8	27	18.84	18.50	942	MAX VALUE	145.88	3.45	0.18	2.44
Value table partitions	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00

Tree decomposition

Number of clusters: 16
Number of leaves: 8
Tree depth: 4
CIR: 0.01
Independent Cluster Pairs: 1
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Tree1.json

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

Cluster constraints 18 254 116.81 84.50 1,869 3.02e+31 72.48 76.71 0.66 2.69

Variables per cluster 9 35 22.12 20.00 354 1.13e+21 48.48 7.97 0.36 2.25

Separator constraints 0 234 87.38 53.00 1,398 0 None 71.80 0.82 2.60

Separator variables 0 34 19.00 16.50 304 0 None 8.75 0.46 2.34

Clusters per var 1 14 7.08 7.50 354 4.25e+36 84.34 3.96 0.56 2.39

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	18	254	116.81	84.50	1,869	3.02e+31	72.48	76.71	0.66	2.69
Variables per cluster	9	35	22.12	20.00	354	1.13e+21	48.48	7.97	0.36	2.25
Separator constraints	0	234	87.38	53.00	1,398	0	None	71.80	0.82	2.60
Separator variables	0	34	19.00	16.50	304	0	None	8.75	0.46	2.34
Clusters per var	1	14	7.08	7.50	354	4.25e+36	84.34	3.96	0.56	2.39

Dual tree decomposition

Number of clusters: 48
Number of leaves: 24
Tree depth: 5
CIR: 0.09
Independent Cluster Pairs: 96
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/DualTree1.json

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

Cluster constraints 134 2,996 714.94 479.00 34,317 MAX VALUE 302.39 619.35 0.87 3.87

Variables per cluster 22 277 72.90 47.50 3,499 MAX VALUE 195.19 57.36 0.79 3.50

Separator constraints 0 1,662 533.69 420.00 25,617 0 None 370.38 0.69 3.84

Separator variables 0 198 63.08 45.50 3,028 0 None 43.81 0.69 3.56

Clusters per variable 1 10 7.43 9.00 3,499 MAX VALUE 895.26 2.45 0.33 1.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	134	2,996	714.94	479.00	34,317	MAX VALUE	302.39	619.35	0.87	3.87
Variables per cluster	22	277	72.90	47.50	3,499	MAX VALUE	195.19	57.36	0.79	3.50
Separator constraints	0	1,662	533.69	420.00	25,617	0	None	370.38	0.69	3.84
Separator variables	0	198	63.08	45.50	3,028	0	None	43.81	0.69	3.56
Clusters per variable	1	10	7.43	9.00	3,499	MAX VALUE	895.26	2.45	0.33	1.73

Primal graph

Density: 38.45%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,102
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Primal1.json

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

Clustering coefficient 0.30 0.49 0.38 0.39 19.25 0.00 -47.92 0.03 0.09 3.69

Degree 8 27 18.84 18.50 942 MAX VALUE 145.88 3.45 0.18 2.44

Eccentricity 2 3 2.04 2.00 102 2.53e+15 35.47 0.20 0.10 0.17

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.30	0.49	0.38	0.39	19.25	0.00	-47.92	0.03	0.09	3.69
Degree	8	27	18.84	18.50	942	MAX VALUE	145.88	3.45	0.18	2.44
Eccentricity	2	3	2.04	2.00	102	2.53e+15	35.47	0.20	0.10	0.17
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 73.39%
MCB compute time (ms): None
MCB cycles: None
Triangles: 9,893

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

Clustering coefficient 0.76 1.00 0.89 0.89 44.59 0.00 -5.88 0.07 0.08 3.44

Degree 8 47 35.96 40.50 1,798 MAX VALUE 175.57 10.93 0.30 2.68

Eccentricity 2 3 2.04 2.00 102 2.53e+15 35.47 0.20 0.10 0.17

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.76	1.00	0.89	0.89	44.59	0.00	-5.88	0.07	0.08	3.44
Degree	8	47	35.96	40.50	1,798	MAX VALUE	175.57	10.93	0.30	2.68
Eccentricity	2	3	2.04	2.00	102	2.53e+15	35.47	0.20	0.10	0.17
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 7.86%
MCB compute time (ms): 32,158
MCB cycles: 9,130
Triangles: 53,531
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Dual1.json

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

Clustering coefficient 0.49 0.63 0.51 0.50 238.55 0.00 -320.63 0.02 0.03 5.15

Degree 21 48 36.94 37.00 17,400 MAX VALUE 1,696.58 4.39 0.12 2.86

Eccentricity 3 3 3.00 3.00 1,413 MAX VALUE 517.45 0.00 0.00 0.00

MCB cycle size 3 4 3.04 3.00 27,715 MAX VALUE 10,123.80 0.19 0.06 0.15

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.63	0.51	0.50	238.55	0.00	-320.63	0.02	0.03	5.15
Degree	21	48	36.94	37.00	17,400	MAX VALUE	1,696.58	4.39	0.12	2.86
Eccentricity	3	3	3.00	3.00	1,413	MAX VALUE	517.45	0.00	0.00	0.00
MCB cycle size	3	4	3.04	3.00	27,715	MAX VALUE	10,123.80	0.19	0.06	0.15

Minimal dual graph

Density: 0.81%
MCB compute time (ms): 2,485
MCB cycles: 422

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

Clustering coefficient 0.00 0.10 0.00 0.00 0.23 0.00 None 0.01 12.74 0.04

Degree 2 6 3.79 4.00 1,784 MAX VALUE 615.04 0.88 0.23 1.21

Eccentricity 7 10 8.10 8.00 3,815 MAX VALUE 983.63 0.67 0.08 1.02

MCB cycle size 3 9 6.93 7.00 2,925 MAX VALUE 810.68 1.13 0.16 1.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.10	0.00	0.00	0.23	0.00	None	0.01	12.74	0.04
Degree	2	6	3.79	4.00	1,784	MAX VALUE	615.04	0.88	0.23	1.21
Eccentricity	7	10	8.10	8.00	3,815	MAX VALUE	983.63	0.67	0.08	1.02
MCB cycle size	3	9	6.93	7.00	2,925	MAX VALUE	810.68	1.13	0.16	1.51

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

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

Clustering coefficient 0.48 1.00 0.84 0.81 395.69 0.00 -87.84 0.13 0.15 3.83

Degree 2 157 47.76 9.00 22,494 MAX VALUE 1,287.48 61.26 1.28 3.31

Eccentricity 3 5 3.76 4.00 1,770 MAX VALUE 618.99 0.51 0.14 0.74

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.84	0.81	395.69	0.00	-87.84	0.13	0.15	3.83
Degree	2	157	47.76	9.00	22,494	MAX VALUE	1,287.48	61.26	1.28	3.31
Eccentricity	3	5	3.76	4.00	1,770	MAX VALUE	618.99	0.51	0.14	0.74

Incidence graph

Density: 0.70%
MCB compute time (ms): 1,076
MCB cycles: 422
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-49-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 27 3.62 2.00 1,884 MAX VALUE 472.35 5.07 1.40 0.55

Eccentricity 5 6 5.91 6.00 3,078 MAX VALUE 924.75 0.29 0.05 0.31

MCB cycle size 6 6 6.00 6.00 2,532 MAX VALUE 756.12 0.00 0.00 0.00

XCSP 2.1 Benchmarks