A Variable Depth Search Algorithm for Binary Constraint Satisfaction Problems

Table 5

Comparing various solvers: frb35 instances.

Solver	frb35-17-1	frb35-17-2	frb35-17-4
VNS-CSP	0.25	0.31	0.22
Abscon112v4	4.37	6.71	3.54
Abscon 112v4ESAC	3.92	6.38	3.87
Bpsolver09	16.81	67.03	25.30
Choco2.1.1	4.02	35.90	8.47
Choco2.1.1b	5.40	16.27	1.70
Concrete	5.20	10.86	4.49
Concrete DC	6.68	7.05	5.83
Conquer	2.74	14.73	5.57
Mistral	0.64	3.08	0.25
pcs	42.05	27.39	8.15
pcs-restart	47.99	27.07	1.94
SAT4JCSP	51.20	212.57	43.08
Sugarv1.14.6 + minisat	13.69	25.35	4.17
Sugarv1.14.6 + picosat	14.89	4.72	14.37