New Algorithms for Bidirectional Singleton Arc Consistency

Table 2

Results obtained on benchmarks.

Problems	BiSAC-1		BiSAC-DF		BiSAC-DP
	Time (ms)	#chks (M)	Times (ms)	#chks (M)	Times (ms)	#chks (M)
frb30-15-1	40688	2106	25141	1294	15766	796
frb30-15-2	42235	2195	25297	1312	15782	803
Lsq_dg_7	19094	1298	5868	392	4016	273
Lsq_dg_8	64235	4712	37218	2769	12563	912
qk_8_0_5	1828	69	16	0.107	0	0.1
qk_10_0_5	9844	389	16	0.296	16	0.277
qk_12_0_5	38187	1621	47	0.664	31	0.624
composed-25_1_25_0	406	23	1516	89	375	21
composed-25_1_80_9	484	26	1766	104	422	24