A Variable Depth Search Algorithm for Binary Constraint Satisfaction Problems

Table 4

Comparing various solvers: frb30 instances.

Solver	frb30-15-1	frb30-15-3	frb30-15-4	frb30-15-5
VNS-CSP	0.19	0.17	0.19	0.20
Abscon112v4	0.91	1.41	1.33	1.65
Abscon 112v4ESAC	0.88	1.36	1.35	1.67
Bpsolver09	0.67	2.49	2.59	1.3
Choco2.1.1	1.48	2.21	2.55	1.58
Choco2.1.1b	1.82	1.14	2.33	0.90
Concrete	1.89	1.25	2.20	1.75
Concrete DC	2.59	2.94	3.30	2.41
Conquer	2.45	2.77	1.00	1.61
Mistral	0.21	0.22	0.26	0.08
pcs	3.05	2.51	1.93	1.07
pcs-restart	4.92	0.55	2.55	0.70
SAT4JCSP	3.74	4.81	5.50	3.95
Sugarv1.14.6 + minisat	3.3	1.17	1.97	1.15
Sugarv1.14.6 + picosat	2.11	1.47	1.81	1.57