Research Article
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 |
|
|