XCSP 2.1 Benchmark Database

Instance: normalized-renault-mod-43-ext
Number of variables: 108
Number of constraints: 128
Satisfiable: True
Timestamp: 2025-07-20 22:08:37
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 108
Number of constraints: 128

General features

Coarse blocks: 348,532
Value tables: 120

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

Arity 2 10 4.75 5.00 608 MAX VALUE 187.58 1.90 0.40 1.86

Coarse blocks size 1 48,720 10.07 1.00 3,509,100 MAX VALUE 269,472.00 151.84 15.08 1.90

Relational linkage 0.00 0.80 0.14 0.17 11,208.00 0.00 -199,626.00 0.13 0.92 2.68

Tightness 0.00 1.00 0.74 0.93 94.70 0.00 -70.76 0.30 0.41 4.22

Tuples 3 48,721 1,566.14 78.00 200,466 MAX VALUE 619.21 6,034.90 3.85 4.05

Values 2 42 4.93 2.00 532 MAX VALUE 130.87 6.39 1.30 1.66

Value table constraints 2 80 7.23 3.00 868 MAX VALUE 159.14 13.54 1.87 1.94

Value table partitions 2 48,720 1,185.74 24.00 142,289 MAX VALUE 416.39 5,524.45 4.66 3.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	10	4.75	5.00	608	MAX VALUE	187.58	1.90	0.40	1.86
Coarse blocks size	1	48,720	10.07	1.00	3,509,100	MAX VALUE	269,472.00	151.84	15.08	1.90
Relational linkage	0.00	0.80	0.14	0.17	11,208.00	0.00	-199,626.00	0.13	0.92	2.68
Tightness	0.00	1.00	0.74	0.93	94.70	0.00	-70.76	0.30	0.41	4.22
Tuples	3	48,721	1,566.14	78.00	200,466	MAX VALUE	619.21	6,034.90	3.85	4.05
Values	2	42	4.93	2.00	532	MAX VALUE	130.87	6.39	1.30	1.66
Value table constraints	2	80	7.23	3.00	868	MAX VALUE	159.14	13.54	1.87	1.94
Value table partitions	2	48,720	1,185.74	24.00	142,289	MAX VALUE	416.39	5,524.45	4.66	3.51

Tree decomposition

Number of clusters: 87
Number of leaves: 19
Tree depth: 17
CIR: 0.30
Independent Cluster Pairs: 1,091
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Tree1.json

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

Cluster constraints 0 5 1.87 1.00 163 0 None 1.20 0.64 1.29

Variables per cluster 2 12 6.62 7.00 576 MAX VALUE 156.28 2.58 0.39 2.23

Separator constraints 0 4 0.40 0.00 35 0 None 0.84 2.08 0.81

Separator variables 0 11 5.38 5.00 468 0 None 2.59 0.48 2.23

Clusters per var 1 67 5.33 1.00 576 4.79e+30 70.64 12.82 2.40 1.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	5	1.87	1.00	163	0	None	1.20	0.64	1.29
Variables per cluster	2	12	6.62	7.00	576	MAX VALUE	156.28	2.58	0.39	2.23
Separator constraints	0	4	0.40	0.00	35	0	None	0.84	2.08	0.81
Separator variables	0	11	5.38	5.00	468	0	None	2.59	0.48	2.23
Clusters per var	1	67	5.33	1.00	576	4.79e+30	70.64	12.82	2.40	1.52

Dual tree decomposition

Number of clusters: 34
Number of leaves: 12
Tree depth: 6
CIR: 0.49
Independent Cluster Pairs: 261
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/DualTree1.json

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

Cluster constraints 3 3,385 390.32 25.50 13,271 MAX VALUE 133.97 768.06 1.97 3.18

Variables per cluster 3 83 19.68 8.00 669 2.39e+36 83.76 21.01 1.07 2.71

Separator constraints 0 2,556 271.24 16.00 9,222 0 None 551.93 2.03 3.11

Separator variables 0 72 15.91 7.00 541 0 None 18.01 1.13 2.77

Clusters per variable 1 15 5.23 4.00 669 MAX VALUE 168.24 3.90 0.75 2.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	3,385	390.32	25.50	13,271	MAX VALUE	133.97	768.06	1.97	3.18
Variables per cluster	3	83	19.68	8.00	669	2.39e+36	83.76	21.01	1.07	2.71
Separator constraints	0	2,556	271.24	16.00	9,222	0	None	551.93	2.03	3.11
Separator variables	0	72	15.91	7.00	541	0	None	18.01	1.13	2.77
Clusters per variable	1	15	5.23	4.00	669	MAX VALUE	168.24	3.90	0.75	2.32

Primal graph

Density: 9.42%
MCB compute time (ms): 19
MCB cycles: 465
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Primal1.json

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

Clustering coefficient 0.12 1.00 None 1.00 None None None None None 3.46

Degree 1 84 10.07 6.00 1,088 MAX VALUE 199.87 14.63 1.45 2.59

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.01 3.00 1,399 MAX VALUE 512.00 0.09 0.03 0.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.12	1.00	None	1.00	None	None	None	None	None	3.46
Degree	1	84	10.07	6.00	1,088	MAX VALUE	199.87	14.63	1.45	2.59
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.01	3.00	1,399	MAX VALUE	512.00	0.09	0.03	0.05

Triangulated primal graph

Density: 10.23%
MCB compute time (ms): 29
MCB cycles: 495
Triangles: None

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

Clustering coefficient 0.13 1.00 None 1.00 None None None None None 3.26

Degree 1 84 10.94 6.00 1,182 MAX VALUE 205.52 15.55 1.42 2.68

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 1,485 MAX VALUE 543.81 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.13	1.00	None	1.00	None	None	None	None	None	3.26
Degree	1	84	10.94	6.00	1,182	MAX VALUE	205.52	15.55	1.42	2.68
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	1,485	MAX VALUE	543.81	0.00	0.00	0.00

Dual graph

Density: 49.82%
MCB compute time (ms): 305
MCB cycles: 3,922
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Dual1.json

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

Clustering coefficient 0.24 1.00 0.88 0.94 112.54 0.00 -18.75 0.14 0.16 3.56

Degree 2 105 63.27 83.00 8,098 MAX VALUE 479.73 35.21 0.56 3.12

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.00 3.00 11,768 MAX VALUE 4,309.33 0.02 0.01 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.24	1.00	0.88	0.94	112.54	0.00	-18.75	0.14	0.16	3.56
Degree	2	105	63.27	83.00	8,098	MAX VALUE	479.73	35.21	0.56	3.12
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.00	3.00	11,768	MAX VALUE	4,309.33	0.02	0.01	0.00

Minimal dual graph

Density: 2.23%
MCB compute time (ms): 11
MCB cycles: 54

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.71

Degree 1 5 2.83 3.00 362 MAX VALUE 127.77 0.78 0.28 1.17

Eccentricity None None None None None None None None None None

MCB cycle size 3 16 6.69 6.00 361 MAX VALUE 98.33 2.67 0.40 2.15

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.71
Degree	1	5	2.83	3.00	362	MAX VALUE	127.77	0.78	0.28	1.17
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	16	6.69	6.00	361	MAX VALUE	98.33	2.67	0.40	2.15

Triangulated dual graph

Density: 51.72%
Triangles: 104,968

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

Clustering coefficient 0.43 1.00 0.91 0.91 116.31 0.00 -13.00 0.09 0.10 3.49

Degree 2 105 65.69 83.00 8,408 MAX VALUE 487.45 35.31 0.54 3.24

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	0.43	1.00	0.91	0.91	116.31	0.00	-13.00	0.09	0.10	3.49
Degree	2	105	65.69	83.00	8,408	MAX VALUE	487.45	35.31	0.54	3.24
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 5.89%

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

Clustering coefficient 0.00 1.00 None 0.68 None None None None None 3.49

Degree 1 29 7.48 4.00 958 MAX VALUE 204.99 7.56 1.01 2.57

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	0.00	1.00	None	0.68	None	None	None	None	None	3.49
Degree	1	29	7.48	4.00	958	MAX VALUE	204.99	7.56	1.01	2.57
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.19%
MCB compute time (ms): 28
MCB cycles: 373
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-43-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 2.49

Degree 1 80 5.15 3.00 1,216 MAX VALUE 274.36 9.43 1.83 2.11

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 4.18 4.00 1,560 MAX VALUE 530.64 0.61 0.15 0.31

XCSP 2.1 Benchmarks