A Variable Depth Search Algorithm for Binary Constraint Satisfaction Problems

Table 6

Comparing various solvers: frb40 instances.

Solver	frb40-19-1	frb40-19-4	frb40-19-5
VNS-CSP	0.41	0.38	0.40
Abscon112v4	1.30	82.98	37.29
Abscon112v4ESAC	1.32	79.60	36.6
Bpsolver09	361.45	137.45	199.04
Choco2.1.1	25.43	24.33	161.97
Choco2.1.1b	25.43	24.33	161.97
Concrete	15.36	87.77	177.15
Concrete DC	21.27	114.80	89.01
Conquer	21.66	9.49	94.78
Mistral	2.15	7.73	63.46
pcs	1758.00	—	—
pcs-restart	—	—	1107.76
SAT4JCSP	272.64	500.71	10.49
Sugarv1.14.6 + minisat	48.30	186.73	—
Sugarv1.14.6 + picosat	41.52	364.37	297.49