XCSP 2.1 Benchmark Database

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

General features

Coarse blocks: 21,344
Value tables: 50

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

Arity 2 2 2.00 2.00 928 MAX VALUE 321.62 0.00 0.00 0.00

Coarse blocks size 1 23 16.70 17.00 356,448 MAX VALUE 59,719.20 2.87 0.17 2.42

Relational linkage 0.04 0.70 0.45 0.48 522.09 0.00 -938.36 0.09 0.21 2.18

Tightness 0.23 0.67 0.27 0.23 127.09 0.00 -619.21 0.09 0.32 1.23

Tuples 174 408 384.10 408.00 178,224 MAX VALUE 2,757.22 46.10 0.12 1.23

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

Value table constraints 13 23 18.56 19.00 928 MAX VALUE 145.55 2.59 0.14 2.17

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	928	MAX VALUE	321.62	0.00	0.00	0.00
Coarse blocks size	1	23	16.70	17.00	356,448	MAX VALUE	59,719.20	2.87	0.17	2.42
Relational linkage	0.04	0.70	0.45	0.48	522.09	0.00	-938.36	0.09	0.21	2.18
Tightness	0.23	0.67	0.27	0.23	127.09	0.00	-619.21	0.09	0.32	1.23
Tuples	174	408	384.10	408.00	178,224	MAX VALUE	2,757.22	46.10	0.12	1.23
Values	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00
Value table constraints	13	23	18.56	19.00	928	MAX VALUE	145.55	2.59	0.14	2.17
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: 14
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-3-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-ext/Tree1.json

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

Cluster constraints 42 253 116.21 90.50 1,627 5.92e+27 63.95 69.82 0.60 2.64

Variables per cluster 14 37 23.43 21.00 328 7.02e+18 43.40 7.72 0.33 2.30

Separator constraints 0 196 83.07 47.00 1,163 0 None 62.35 0.75 2.54

Separator variables 0 33 19.86 17.00 278 0 None 8.70 0.44 2.30

Clusters per var 1 12 6.56 7.00 328 6.87e+35 82.52 3.34 0.51 2.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	42	253	116.21	90.50	1,627	5.92e+27	63.95	69.82	0.60	2.64
Variables per cluster	14	37	23.43	21.00	328	7.02e+18	43.40	7.72	0.33	2.30
Separator constraints	0	196	83.07	47.00	1,163	0	None	62.35	0.75	2.54
Separator variables	0	33	19.86	17.00	278	0	None	8.70	0.44	2.30
Clusters per var	1	12	6.56	7.00	328	6.87e+35	82.52	3.34	0.51	2.28

Dual tree decomposition

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

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

Cluster constraints 186 2,807 687.83 439.50 33,016 MAX VALUE 301.29 584.75 0.85 3.74

Variables per cluster 27 262 72.21 45.50 3,466 MAX VALUE 194.91 56.63 0.78 3.46

Separator constraints 0 1,496 514.60 380.50 24,701 0 None 349.29 0.68 3.77

Separator variables 0 198 62.54 42.00 3,002 0 None 43.43 0.69 3.49

Clusters per variable 1 10 7.47 8.00 3,466 MAX VALUE 884.04 2.49 0.33 1.89

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	186	2,807	687.83	439.50	33,016	MAX VALUE	301.29	584.75	0.85	3.74
Variables per cluster	27	262	72.21	45.50	3,466	MAX VALUE	194.91	56.63	0.78	3.46
Separator constraints	0	1,496	514.60	380.50	24,701	0	None	349.29	0.68	3.77
Separator variables	0	198	62.54	42.00	3,002	0	None	43.43	0.69	3.49
Clusters per variable	1	10	7.47	8.00	3,466	MAX VALUE	884.04	2.49	0.33	1.89

Primal graph

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

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

Clustering coefficient 0.28 0.42 0.36 0.37 18.09 0.00 -51.03 0.03 0.09 3.62

Degree 13 23 18.56 19.00 928 MAX VALUE 145.55 2.59 0.14 2.17

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.28	0.42	0.36	0.37	18.09	0.00	-51.03	0.03	0.09	3.62
Degree	13	23	18.56	19.00	928	MAX VALUE	145.55	2.59	0.14	2.17
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: 77.06%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,921

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

Clustering coefficient 0.80 1.00 0.90 0.89 45.01 0.00 -5.36 0.06 0.06 3.46

Degree 13 47 37.76 42.00 1,888 MAX VALUE 178.79 10.23 0.27 2.64

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.80	1.00	0.90	0.89	45.01	0.00	-5.36	0.06	0.06	3.46
Degree	13	47	37.76	42.00	1,888	MAX VALUE	178.79	10.23	0.27	2.64
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.74%
MCB compute time (ms): 55,317
MCB cycles: 8,611
Triangles: 48,902
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-ext/Dual1.json

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

Clustering coefficient 0.49 0.54 0.50 0.50 232.53 0.00 -320.62 0.01 0.01 4.67

Degree 26 44 35.84 36.00 16,630 MAX VALUE 1,658.27 3.62 0.10 2.66

Eccentricity 3 3 3.00 3.00 1,392 MAX VALUE 509.76 0.00 0.00 0.00

MCB cycle size 3 4 3.04 3.00 26,177 MAX VALUE 9,559.11 0.20 0.06 0.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.54	0.50	0.50	232.53	0.00	-320.62	0.01	0.01	4.67
Degree	26	44	35.84	36.00	16,630	MAX VALUE	1,658.27	3.62	0.10	2.66
Eccentricity	3	3	3.00	3.00	1,392	MAX VALUE	509.76	0.00	0.00	0.00
MCB cycle size	3	4	3.04	3.00	26,177	MAX VALUE	9,559.11	0.20	0.06	0.17

Minimal dual graph

Density: 0.82%
MCB compute time (ms): 2,277
MCB cycles: 415

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.78 4.00 1,756 MAX VALUE 606.05 0.86 0.23 1.18

Eccentricity 7 10 8.14 8.00 3,779 MAX VALUE 971.67 0.65 0.08 0.99

MCB cycle size 4 11 6.91 7.00 2,867 MAX VALUE 795.24 1.21 0.17 1.57

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.78	4.00	1,756	MAX VALUE	606.05	0.86	0.23	1.18
Eccentricity	7	10	8.14	8.00	3,779	MAX VALUE	971.67	0.65	0.08	0.99
MCB cycle size	4	11	6.91	7.00	2,867	MAX VALUE	795.24	1.21	0.17	1.57

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

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

Clustering coefficient 0.47 1.00 0.83 0.80 385.24 0.00 -92.73 0.14 0.16 3.84

Degree 2 153 44.35 9.00 20,578 MAX VALUE 1,255.01 56.76 1.28 3.48

Eccentricity 3 5 3.89 4.00 1,803 MAX VALUE 625.02 0.55 0.14 0.82

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.83	0.80	385.24	0.00	-92.73	0.14	0.16	3.84
Degree	2	153	44.35	9.00	20,578	MAX VALUE	1,255.01	56.76	1.28	3.48
Eccentricity	3	5	3.89	4.00	1,803	MAX VALUE	625.02	0.55	0.14	0.82

Incidence graph

Density: 0.70%
MCB compute time (ms): 1,220
MCB cycles: 415
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-3-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 23 3.61 2.00 1,856 MAX VALUE 467.17 4.97 1.38 0.53

Eccentricity 5 6 5.91 6.00 3,036 MAX VALUE 912.21 0.29 0.05 0.31

MCB cycle size 6 6 6.00 6.00 2,490 MAX VALUE 743.58 0.00 0.00 0.00

XCSP 2.1 Benchmarks