XCSP 2.1 Benchmark Database

Instance: normalized-dubois-100-ext
Number of variables: 300
Number of constraints: 200
Satisfiable: True
Timestamp: 2025-07-20 22:08:18
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 300
Number of constraints: 200

General features

Coarse blocks: 1,200
Value tables: 298

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

Arity 3 3 3.00 3.00 600 MAX VALUE 219.72 0.00 0.00 0.00

Coarse blocks size 1 2 1.99 2.00 2,384 MAX VALUE 820.69 0.11 0.06 0.07

Relational linkage 0.50 0.50 0.50 0.50 300.00 0.00 -415.89 0.00 0.00 0.00

Tightness 0.50 0.50 0.50 0.50 100.00 0.00 -138.63 0.00 0.00 0.00

Tuples 4 4 4.00 4.00 800 MAX VALUE 277.26 0.00 0.00 0.00

Values 2 2 2.00 2.00 600 MAX VALUE 207.94 0.00 0.00 0.00

Value table constraints 2 2 2.00 2.00 596 MAX VALUE 206.56 0.00 0.00 0.00

Value table partitions 2 4 2.01 2.00 600 MAX VALUE 207.94 0.16 0.08 0.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	3	3	3.00	3.00	600	MAX VALUE	219.72	0.00	0.00	0.00
Coarse blocks size	1	2	1.99	2.00	2,384	MAX VALUE	820.69	0.11	0.06	0.07
Relational linkage	0.50	0.50	0.50	0.50	300.00	0.00	-415.89	0.00	0.00	0.00
Tightness	0.50	0.50	0.50	0.50	100.00	0.00	-138.63	0.00	0.00	0.00
Tuples	4	4	4.00	4.00	800	MAX VALUE	277.26	0.00	0.00	0.00
Values	2	2	2.00	2.00	600	MAX VALUE	207.94	0.00	0.00	0.00
Value table constraints	2	2	2.00	2.00	596	MAX VALUE	206.56	0.00	0.00	0.00
Value table partitions	2	4	2.01	2.00	600	MAX VALUE	207.94	0.16	0.08	0.04

Tree decomposition

Number of clusters: 198
Number of leaves: 2
Tree depth: 99
CIR: 0.99
Independent Cluster Pairs: 19,107
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Tree1.json

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

Cluster constraints 1 2 1.01 1.00 200 4 1.39 0.10 0.10 0.06

Variables per cluster 4 4 4.00 4.00 792 MAX VALUE 274.49 0.00 0.00 0.00

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 3 2.48 2.00 492 0 None 0.53 0.21 0.72

Clusters per var 1 4 2.64 3.00 792 MAX VALUE 284.29 0.53 0.20 0.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	2	1.01	1.00	200	4	1.39	0.10	0.10	0.06
Variables per cluster	4	4	4.00	4.00	792	MAX VALUE	274.49	0.00	0.00	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	3	2.48	2.00	492	0	None	0.53	0.21	0.72
Clusters per var	1	4	2.64	3.00	792	MAX VALUE	284.29	0.53	0.20	0.76

Dual tree decomposition

Number of clusters: 198
Number of leaves: 2
Tree depth: 99
CIR: 0.99
Independent Cluster Pairs: 19,108
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/DualTree1.json

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

Cluster constraints 2 2 2.00 2.00 396 MAX VALUE 137.24 0.00 0.00 0.00

Variables per cluster 3 3 3.00 3.00 594 MAX VALUE 217.53 0.00 0.00 0.00

Separator constraints 0 1 0.49 0.00 98 0 None 0.50 1.01 0.69

Separator variables 0 2 1.99 2.00 394 0 None 0.14 0.07 0.03

Clusters per variable 1 4 2.97 3.00 594 MAX VALUE 216.48 0.26 0.09 0.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	2	2.00	2.00	396	MAX VALUE	137.24	0.00	0.00	0.00
Variables per cluster	3	3	3.00	3.00	594	MAX VALUE	217.53	0.00	0.00	0.00
Separator constraints	0	1	0.49	0.00	98	0	None	0.50	1.01	0.69
Separator variables	0	2	1.99	2.00	394	0	None	0.14	0.07	0.03
Clusters per variable	1	4	2.97	3.00	594	MAX VALUE	216.48	0.26	0.09	0.21

Primal graph

Density: 1.33%
MCB compute time (ms): 345
MCB cycles: 393
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Primal1.json

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

Clustering coefficient 0.33 0.67 0.34 0.33 101.33 0.00 -326.81 0.04 0.11 0.07

Degree 3 4 3.99 4.00 1,196 MAX VALUE 414.74 0.11 0.03 0.07

Eccentricity None None None None None None None None None None

MCB cycle size 3 5 3.73 3.00 1,466 MAX VALUE 508.25 0.82 0.22 1.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	0.67	0.34	0.33	101.33	0.00	-326.81	0.04	0.11	0.07
Degree	3	4	3.99	4.00	1,196	MAX VALUE	414.74	0.11	0.03	0.07
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	5	3.73	3.00	1,466	MAX VALUE	508.25	0.82	0.22	1.03

Triangulated primal graph

Density: 1.77%
MCB compute time (ms): 190
MCB cycles: 496
Triangles: None

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

Clustering coefficient 0.48 1.00 0.64 0.53 191.43 0.00 -142.08 0.15 0.23 0.83

Degree 3 7 5.30 6.00 1,590 MAX VALUE 494.57 0.98 0.19 0.83

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 1,488 MAX VALUE 544.91 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.64	0.53	191.43	0.00	-142.08	0.15	0.23	0.83
Degree	3	7	5.30	6.00	1,590	MAX VALUE	494.57	0.98	0.19	0.83
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	1,488	MAX VALUE	544.91	0.00	0.00	0.00

Dual graph

Density: 1.50%
MCB compute time (ms): 125
MCB cycles: 99
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Dual1.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 3 2.98 3.00 596 MAX VALUE 218.10 0.14 0.05 0.10

Eccentricity None None None None None None None None None None

MCB cycle size 4 4 4.00 4.00 396 MAX VALUE 137.24 0.00 0.00 0.00

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	3	2.98	3.00	596	MAX VALUE	218.10	0.14	0.05	0.10
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	4	4	4.00	4.00	396	MAX VALUE	137.24	0.00	0.00	0.00

Minimal dual graph

Density: 1.50%
MCB compute time (ms): 107
MCB cycles: 99

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 3 2.98 3.00 596 MAX VALUE 218.10 0.14 0.05 0.10

Eccentricity None None None None None None None None None None

MCB cycle size 4 4 4.00 4.00 396 MAX VALUE 137.24 0.00 0.00 0.00

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	3	2.98	3.00	596	MAX VALUE	218.10	0.14	0.05	0.10
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	4	4	4.00	4.00	396	MAX VALUE	137.24	0.00	0.00	0.00

Triangulated dual graph

Density: 1.99%
Triangles: 198

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

Clustering coefficient 0.40 1.00 0.51 0.50 101.47 0.00 -136.54 0.06 0.11 0.21

Degree 2 5 3.97 4.00 794 MAX VALUE 275.17 0.26 0.07 0.21

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.40	1.00	0.51	0.50	101.47	0.00	-136.54	0.06	0.11	0.21
Degree	2	5	3.97	4.00	794	MAX VALUE	275.17	0.26	0.07	0.21
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 1.99%

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

Clustering coefficient 0.40 1.00 0.51 0.50 101.47 0.00 -136.54 0.06 0.11 0.21

Degree 2 5 3.97 4.00 794 MAX VALUE 275.17 0.26 0.07 0.21

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.40	1.00	0.51	0.50	101.47	0.00	-136.54	0.06	0.11	0.21
Degree	2	5	3.97	4.00	794	MAX VALUE	275.17	0.26	0.07	0.21
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 0.48%
MCB compute time (ms): 695
MCB cycles: 101
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dubois/normalized-dubois-100-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 3 2.40 2.00 1,200 MAX VALUE 427.67 0.49 0.20 0.67

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 7.92 8.00 800 MAX VALUE 208.64 0.56 0.07 0.10

XCSP 2.1 Benchmarks