XCSP 2.1 Benchmark Database

Instance: normalized-rand-2-50-23-587-230-9-ext
Number of variables: 50
Number of constraints: 459
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: 459

General features

Coarse blocks: 21,114
Value tables: 50

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

Arity 2 2 2.00 2.00 918 MAX VALUE 318.15 0.00 0.00 0.00

Coarse blocks size 3 23 16.64 17.00 351,242 MAX VALUE 58,997.50 2.88 0.17 2.42

Relational linkage 0.13 0.65 0.46 0.48 524.43 0.00 -924.25 0.08 0.18 2.06

Tightness 0.23 0.56 0.28 0.23 127.01 0.00 -608.04 0.09 0.31 1.27

Tuples 235 408 382.62 408.00 175,621 MAX VALUE 2,725.85 46.00 0.12 1.27

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

Value table constraints 11 24 18.36 19.00 918 MAX VALUE 144.80 2.99 0.16 2.40

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	918	MAX VALUE	318.15	0.00	0.00	0.00
Coarse blocks size	3	23	16.64	17.00	351,242	MAX VALUE	58,997.50	2.88	0.17	2.42
Relational linkage	0.13	0.65	0.46	0.48	524.43	0.00	-924.25	0.08	0.18	2.06
Tightness	0.23	0.56	0.28	0.23	127.01	0.00	-608.04	0.09	0.31	1.27
Tuples	235	408	382.62	408.00	175,621	MAX VALUE	2,725.85	46.00	0.12	1.27
Values	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00
Value table constraints	11	24	18.36	19.00	918	MAX VALUE	144.80	2.99	0.16	2.40
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: 15
Number of leaves: 7
Tree depth: 4
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-9-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-ext/Tree1.json

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

Cluster constraints 26 248 117.40 107.00 1,761 4.10e+29 68.19 74.35 0.63 2.62

Variables per cluster 12 36 22.93 23.00 344 9.57e+19 46.01 8.22 0.36 2.30

Separator constraints 0 218 86.80 49.00 1,302 0 None 68.47 0.79 2.71

Separator variables 0 34 19.60 16.00 294 0 None 9.10 0.46 2.30

Clusters per var 1 14 6.88 8.00 344 7.70e+36 84.93 3.44 0.50 2.25

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	26	248	117.40	107.00	1,761	4.10e+29	68.19	74.35	0.63	2.62
Variables per cluster	12	36	22.93	23.00	344	9.57e+19	46.01	8.22	0.36	2.30
Separator constraints	0	218	86.80	49.00	1,302	0	None	68.47	0.79	2.71
Separator variables	0	34	19.60	16.00	294	0	None	9.10	0.46	2.30
Clusters per var	1	14	6.88	8.00	344	7.70e+36	84.93	3.44	0.50	2.25

Dual tree decomposition

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

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

Cluster constraints 148 2,278 642.85 441.00 30,857 MAX VALUE 299.09 498.47 0.78 3.81

Variables per cluster 24 239 69.25 45.00 3,324 MAX VALUE 193.59 51.37 0.74 3.60

Separator constraints 0 1,209 472.19 389.00 22,665 0 None 286.28 0.61 3.81

Separator variables 0 172 59.69 42.00 2,865 0 None 38.85 0.65 3.57

Clusters per variable 1 11 7.24 8.00 3,324 MAX VALUE 858.54 2.52 0.35 2.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	148	2,278	642.85	441.00	30,857	MAX VALUE	299.09	498.47	0.78	3.81
Variables per cluster	24	239	69.25	45.00	3,324	MAX VALUE	193.59	51.37	0.74	3.60
Separator constraints	0	1,209	472.19	389.00	22,665	0	None	286.28	0.61	3.81
Separator variables	0	172	59.69	42.00	2,865	0	None	38.85	0.65	3.57
Clusters per variable	1	11	7.24	8.00	3,324	MAX VALUE	858.54	2.52	0.35	2.04

Primal graph

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

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

Clustering coefficient 0.27 0.47 0.37 0.38 18.70 0.00 -49.48 0.04 0.11 3.76

Degree 11 24 18.36 19.00 918 MAX VALUE 144.80 2.99 0.16 2.40

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.27	0.47	0.37	0.38	18.70	0.00	-49.48	0.04	0.11	3.76
Degree	11	24	18.36	19.00	918	MAX VALUE	144.80	2.99	0.16	2.40
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: 75.43%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,495

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

Clustering coefficient 0.76 1.00 0.90 0.88 44.87 0.00 -5.51 0.06 0.06 3.56

Degree 11 48 36.96 42.00 1,848 MAX VALUE 177.34 10.53 0.28 2.60

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.76	1.00	0.90	0.88	44.87	0.00	-5.51	0.06	0.06	3.56
Degree	11	48	36.96	42.00	1,848	MAX VALUE	177.34	10.53	0.28	2.60
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.79%
MCB compute time (ms): 5,674
MCB cycles: 12,026
Triangles: 48,314
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-ext/Dual1.json

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

Clustering coefficient 0.48 0.57 0.50 0.50 231.00 0.00 -315.26 0.01 0.02 5.01

Degree 23 45 35.70 36.00 16,384 MAX VALUE 1,637.73 4.13 0.12 2.81

Eccentricity 3 3 3.00 3.00 1,377 MAX VALUE 504.26 0.00 0.00 0.00

MCB cycle size 3 5 3.12 3.00 37,512 MAX VALUE 13,624.30 0.32 0.10 0.37

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.57	0.50	0.50	231.00	0.00	-315.26	0.01	0.02	5.01
Degree	23	45	35.70	36.00	16,384	MAX VALUE	1,637.73	4.13	0.12	2.81
Eccentricity	3	3	3.00	3.00	1,377	MAX VALUE	504.26	0.00	0.00	0.00
MCB cycle size	3	5	3.12	3.00	37,512	MAX VALUE	13,624.30	0.32	0.10	0.37

Minimal dual graph

Density: 0.83%
MCB compute time (ms): 3,143
MCB cycles: 410

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

Clustering coefficient 0.00 0.17 0.00 0.00 0.33 0.00 None 0.01 13.17 0.05

Degree 2 6 3.78 4.00 1,736 MAX VALUE 598.76 0.88 0.23 1.21

Eccentricity 7 10 8.06 8.00 3,701 MAX VALUE 956.50 0.67 0.08 1.01

MCB cycle size 3 10 6.99 7.00 2,866 MAX VALUE 790.72 1.18 0.17 1.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.00	0.00	0.33	0.00	None	0.01	13.17	0.05
Degree	2	6	3.78	4.00	1,736	MAX VALUE	598.76	0.88	0.23	1.21
Eccentricity	7	10	8.06	8.00	3,701	MAX VALUE	956.50	0.67	0.08	1.01
MCB cycle size	3	10	6.99	7.00	2,866	MAX VALUE	790.72	1.18	0.17	1.55

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.17%

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

Clustering coefficient 0.55 1.00 0.84 0.80 385.03 0.00 -86.46 0.13 0.16 3.79

Degree 2 155 46.57 8.00 21,374 MAX VALUE 1,249.23 59.47 1.28 3.46

Eccentricity 3 5 3.73 4.00 1,712 MAX VALUE 599.80 0.50 0.14 0.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.55	1.00	0.84	0.80	385.03	0.00	-86.46	0.13	0.16	3.79
Degree	2	155	46.57	8.00	21,374	MAX VALUE	1,249.23	59.47	1.28	3.46
Eccentricity	3	5	3.73	4.00	1,712	MAX VALUE	599.80	0.50	0.14	0.73

Incidence graph

Density: 0.71%
MCB compute time (ms): 1,236
MCB cycles: 410
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-9-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 24 3.61 2.00 1,836 MAX VALUE 462.96 4.96 1.37 0.56

Eccentricity 5 6 5.90 6.00 3,004 MAX VALUE 902.89 0.30 0.05 0.32

MCB cycle size 6 8 6.00 6.00 2,462 MAX VALUE 734.91 0.10 0.02 0.02

XCSP 2.1 Benchmarks