A Variable Depth Search Algorithm for Binary Constraint Satisfaction Problems

Table 1

Solvable instances.

Instance	Variables	Values	Constraints	No-good	Solved
frb30-15-1.csp	30	15	284	56	Yes
frb30-15-2.csp	30	15	284	56	Yes
frb30-15-3.csp	30	15	284	56	Yes
frb30-15-4.csp	30	15	284	56	Yes
frb30-15-5.csp	30	15	284	56	Yes
frb35-15-1.csp	35	17	346	72	Yes
frb35-15-2.csp	35	17	346	72	Yes
frb35-15-3.csp	35	17	346	72	Yes
frb35-15-4.csp	35	15	346	72	Yes
frb35-15-5.csp	35	15	346	72	Yes
frb40-19-1.csp	40	19	410	90	Yes
frb40-19-2.csp	40	19	410	90	Yes
frb40-19-3.csp	40	19	410	90	Yes
frb40-19-4.csp	40	19	410	90	Yes
frb40-19-5.csp	40	19	410	90	Yes
frb45-21-1.csp	45	21	476	110	Yes
frb45-21-2.csp	45	21	476	110	Yes
frb45-21-3.csp	45	21	476	110	Yes
frb45-21-4.csp	45	21	476	110	Yes
frb45-21-5.csp	45	21	476	110	Yes
frb53-24-3.csp	53	24	585	144	Yes