A Variable Depth Search Algorithm for Binary Constraint Satisfaction Problems

Table 2

Benchmark instances: unsolvable instances.

Instance	Variables	Values	Constraints	No-good	Solved
frb50-23-1.csp	50	23	544	132	No
frb50-23-2.csp	50	23	544	132	No
frb50-23-3.csp	50	23	544	132	No
frb50-23-4.csp	50	23	544	132	No
frb50-23-5.csp	50	23	544	132	No
frb53-24-1.csp	53	24	585	144	No
frb53-24-2.csp	53	24	585	144	No
frb53-24-4.csp	53	24	585	144	No
frb53-24-5.csp	53	24	585	144	No
frb56-25-1.csp	56	25	627	156	No
frb56-25-2.csp	56	25	627	156	No
frb56-25-3.csp	56	25	627	156	No
frb56-25-4.csp	56	25	627	156	No
frb56-25-5.csp	56	25	627	156	No
frb59-26-1.csp	59	26	669	169	No
frb59-26-2.csp	59	26	669	169	No
frb59-26-3.csp	59	26	669	169	No
frb59-26-4.csp	59	26	669	169	No
frb59-26-5.csp	59	26	669	169	No