XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 50
Number of constraints: 466

General features

Coarse blocks: 21,436
Value tables: 50

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

Arity 2 2 2.00 2.00 932 MAX VALUE 323.01 0.00 0.00 0.00

Coarse blocks size 2 23 16.72 17.00 358,446 MAX VALUE 60,013.00 2.83 0.17 2.40

Relational linkage 0.09 0.70 0.46 0.48 533.09 0.00 -919.72 0.10 0.22 2.25

Tightness 0.23 0.75 0.27 0.23 127.20 0.00 -622.80 0.09 0.31 1.22

Tuples 134 408 384.60 408.00 179,223 MAX VALUE 2,769.81 45.16 0.12 1.22

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

Value table constraints 12 28 18.64 18.50 932 MAX VALUE 145.48 3.30 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	932	MAX VALUE	323.01	0.00	0.00	0.00
Coarse blocks size	2	23	16.72	17.00	358,446	MAX VALUE	60,013.00	2.83	0.17	2.40
Relational linkage	0.09	0.70	0.46	0.48	533.09	0.00	-919.72	0.10	0.22	2.25
Tightness	0.23	0.75	0.27	0.23	127.20	0.00	-622.80	0.09	0.31	1.22
Tuples	134	408	384.60	408.00	179,223	MAX VALUE	2,769.81	45.16	0.12	1.22
Values	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00
Value table constraints	12	28	18.64	18.50	932	MAX VALUE	145.48	3.30	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: 5
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Tree1.json

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

Cluster constraints 34 245 124.62 93.00 1,994 1.05e+32 73.73 79.49 0.64 2.69

Variables per cluster 13 35 23.31 21.00 373 2.67e+21 49.34 8.39 0.36 2.22

Separator constraints 0 230 95.50 53.00 1,528 0 None 77.66 0.81 2.77

Separator variables 0 34 20.19 17.50 323 0 None 9.41 0.47 2.34

Clusters per var 1 12 7.46 9.00 373 1.52e+38 87.91 3.67 0.49 2.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	34	245	124.62	93.00	1,994	1.05e+32	73.73	79.49	0.64	2.69
Variables per cluster	13	35	23.31	21.00	373	2.67e+21	49.34	8.39	0.36	2.22
Separator constraints	0	230	95.50	53.00	1,528	0	None	77.66	0.81	2.77
Separator variables	0	34	20.19	17.50	323	0	None	9.41	0.47	2.34
Clusters per var	1	12	7.46	9.00	373	1.52e+38	87.91	3.67	0.49	2.19

Dual tree decomposition

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

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

Cluster constraints 146 2,801 693.67 458.50 33,296 MAX VALUE 301.40 587.28 0.85 3.76

Variables per cluster 24 270 72.17 47.50 3,464 MAX VALUE 194.83 56.42 0.78 3.60

Separator constraints 0 1,589 516.73 399.50 24,803 0 None 345.43 0.67 3.76

Separator variables 0 200 62.46 44.50 2,998 0 None 43.02 0.69 3.57

Clusters per variable 1 10 7.43 9.00 3,464 MAX VALUE 885.82 2.47 0.33 1.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	146	2,801	693.67	458.50	33,296	MAX VALUE	301.40	587.28	0.85	3.76
Variables per cluster	24	270	72.17	47.50	3,464	MAX VALUE	194.83	56.42	0.78	3.60
Separator constraints	0	1,589	516.73	399.50	24,803	0	None	345.43	0.67	3.76
Separator variables	0	200	62.46	44.50	2,998	0	None	43.02	0.69	3.57
Clusters per variable	1	10	7.43	9.00	3,464	MAX VALUE	885.82	2.47	0.33	1.85

Primal graph

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

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

Clustering coefficient 0.29 0.47 0.38 0.38 19.14 0.00 -48.21 0.03 0.09 3.58

Degree 12 28 18.64 18.50 932 MAX VALUE 145.48 3.30 0.18 2.44

Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 0.00 0.00 0.00

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.29	0.47	0.38	0.38	19.14	0.00	-48.21	0.03	0.09	3.58
Degree	12	28	18.64	18.50	932	MAX VALUE	145.48	3.30	0.18	2.44
Eccentricity	2	2	2.00	2.00	100	1.13e+15	34.66	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 74.94%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,352

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

Clustering coefficient 0.81 1.00 0.90 0.88 44.78 0.00 -5.61 0.06 0.06 3.47

Degree 12 45 36.72 42.00 1,836 MAX VALUE 176.97 10.59 0.29 2.50

Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 0.00 0.00 0.00

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.81	1.00	0.90	0.88	44.78	0.00	-5.61	0.06	0.06	3.47
Degree	12	45	36.72	42.00	1,836	MAX VALUE	176.97	10.59	0.29	2.50
Eccentricity	2	2	2.00	2.00	100	1.13e+15	34.66	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 7.84%
MCB compute time (ms): 14,216
MCB cycles: 9,817
Triangles: 51,601
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Dual1.json

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

Clustering coefficient 0.49 0.58 0.50 0.50 235.20 0.00 -318.74 0.01 0.02 4.98

Degree 23 51 36.45 36.00 16,986 MAX VALUE 1,671.69 4.77 0.13 2.94

Eccentricity 3 3 3.00 3.00 1,398 MAX VALUE 511.95 0.00 0.00 0.00

MCB cycle size 3 4 3.07 3.00 30,171 MAX VALUE 10,992.20 0.26 0.08 0.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.58	0.50	0.50	235.20	0.00	-318.74	0.01	0.02	4.98
Degree	23	51	36.45	36.00	16,986	MAX VALUE	1,671.69	4.77	0.13	2.94
Eccentricity	3	3	3.00	3.00	1,398	MAX VALUE	511.95	0.00	0.00	0.00
MCB cycle size	3	4	3.07	3.00	30,171	MAX VALUE	10,992.20	0.26	0.08	0.26

Minimal dual graph

Density: 0.81%
MCB compute time (ms): 2,916
MCB cycles: 417

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 6 3.79 4.00 1,764 MAX VALUE 608.14 0.89 0.24 1.19

Eccentricity 7 9 7.92 8.00 3,693 MAX VALUE 963.15 0.63 0.08 0.94

MCB cycle size 4 10 6.94 7.00 2,894 MAX VALUE 801.08 1.18 0.17 1.54

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	6	3.79	4.00	1,764	MAX VALUE	608.14	0.89	0.24	1.19
Eccentricity	7	9	7.92	8.00	3,693	MAX VALUE	963.15	0.63	0.08	0.94
MCB cycle size	4	10	6.94	7.00	2,894	MAX VALUE	801.08	1.18	0.17	1.54

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

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

Clustering coefficient 0.51 1.00 0.83 0.80 388.49 0.00 -91.01 0.13 0.16 3.81

Degree 2 153 45.44 8.00 21,176 MAX VALUE 1,261.75 58.42 1.29 3.34

Eccentricity 3 5 3.76 4.00 1,751 MAX VALUE 612.15 0.52 0.14 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.83	0.80	388.49	0.00	-91.01	0.13	0.16	3.81
Degree	2	153	45.44	8.00	21,176	MAX VALUE	1,261.75	58.42	1.29	3.34
Eccentricity	3	5	3.76	4.00	1,751	MAX VALUE	612.15	0.52	0.14	0.77

Incidence graph

Density: 0.70%
MCB compute time (ms): 891
MCB cycles: 417
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-2-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 28 3.61 2.00 1,864 MAX VALUE 468.48 5.03 1.39 0.56

Eccentricity 5 6 5.90 6.00 3,046 MAX VALUE 915.43 0.30 0.05 0.32

MCB cycle size 6 6 6.00 6.00 2,502 MAX VALUE 747.16 0.00 0.00 0.00

XCSP 2.1 Benchmarks