A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems

Table 4

Comparing VNS-WS with CCLS and Optimax.

Instance	CCLS		Optimax		VNS-WS
	Quality	Time	Quality	Time	Quality	Time
brock400-1	255	0.38	340	0.08	255	15.02
brock400-2	252	0.84	310	0.08	252	24.02
brock400-3	238	1.27	278	0.08	238	9.05
brock400-4	249	0.73	374	0.08	249	4.05
brock800-1	205	0.95	273	0.09	205	1.05
brock800-2	207	0.97	270	0.09	207	3.08
brock800-3	203	0.47	315	0.07	203	10.01
brock800-4	200	0.32	310	0.13	200	4.07
hamming10-2	400	0.09	532	0.08	400	1.04
hamming10-4	319	0.42	341	0.09	319	64.03
hamming6-2	832	1.18	1100	0.13	843	55.01
hamming6-4	192	1.00	312	0.13	192	1.06
hamming8-2	441	0.12	551	0.13	441	1.05
s2v120c1600-8	240	2.55	289	0.09	251	118
s2v140c1200-3	155	2.97	195	0.08	165	107
s2v140c1300-4	164	2.34	208	0.10	181	74
s2v140c1400-3	193	3.38	239	0.12	206	121
s2v140c1500-5	205	2.111	248	0.13	218	145
s3v80c600-5	12	1.02	16	32.61	12	1.06
s3v80c700-6	18	1.56	26	4.28	18	1.06
s3v80c800-2	32	1.24	59	0.12	32	48.02
s3v80c900-1	35	1.76	73	0.12	35	25.02
s3v80c900-10	35	1.60	59	0.11	35	33.07
s3v80c900-2	37	1.71	64	0.08	37	1.06
t5pm3-7777.spn	78	1.46	120	0.10	78	23.05
t6pm3-8888.spn	136	3.30	222	0.09	144	36.02
t7pm3-9999.spn	209	4.36	343	0.11	233	87