Research Article
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
Table 2
SAT2013 industrial benchmarks: comparison among VNS-WS, WS, W-w, and VW2.
| | Instances | Instance input |
Unsatisfied clauses | | Var | Cls | WS | W-w | VW2 | VNS-WS |
| | c5315-bug-gate-0.dimacs.seq.filtered | 1880 | 5049 | 1 | 1 | 1 | 1 | | c5-DD-s3-f1-e1-v1-bug-fourvec-gate-0.dimacs | 100472 | 270492 | 25 | 25 | 943 | 4 | | c5-DD-s3-f1-e1-v1-bug-gate-0.dimacs | 200944 | 540984 | 97 | 153 | 2026 | 8 | | c5-DD-s3-f1-e1-v2-bug-gate-0.dimacs | 200944 | 540984 | 59 | 101 | 1873 | 8 | | c5-DD-s3-f1-e1-v1-bug-onevec-gate-0.dimacs | 25118 | 67623 | 11 | 11 | 65 | 1 | | c6288-bug-gate-0.dimacs.seq.filtered | 3462 | 9285 | 14 | 16 | 63 | 1 | | c6-DD-s3-f1-e1-v1-bug-fourvec-gate-0.dimacs | 170019 | 454050 | 1668 | 1644 | 4900 | 921 | | c6-DD-s3-f1-e1-v1-bug-gate-0.dimacs | 298058 | 795900 | 3188 | 3332 | 9340 | 1752 | | c6-DD-s3-f1-e1-v1-bug-onevec-gate-0.dimacs | 44079 | 117720 | 277 | 302 | 986 | 175 | | c6-DD-s3-f1-e2-v1-bug-fourvec-gate-0.dimacs | 170019 | 454050 | 1645 | 1705 | 5066 | 919 | | c7552-bug-gate-0.dimacs.seq.filtered | 2640 | 7008 | 1 | 1 | 1 | 1 | | divider-problem.dimacs-11.filtered | 215964 | 709377 | 9992 | 10090 | 15889 | 3978 | | divider-problem.dimacs12.filtered | 229482 | 751921 | 10914 | 10844 | 17297 | 4667 | | divider-problem.dimacs1.filtered | 215676 | 708801 | 10181 | 10308 | 16102 | 4295 | | divider-problem.dimacs2.filtered | 228874 | 750705 | 10688 | 11180 | 17319 | 4392 |
|
|
