Research Article
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
Table 3
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 |
| divider-problem.dimacs3.filtered | 216900 | 711249 | 10054 | 10727 | 16249 | 3972 | divider-problem.dimacs4.filtered | 225340 | 743637 | 11030 | 11536 | 17240 | 4406 | divider-problem.dimacs5.filtered | 228874 | 750705 | 11194 | 11929 | 17459 | 5139 | mot-comb1-red-gate-0.dimacs.seq.filtered | 2159 | 5326 | 1 | 1 | 1 | 1 | mrisc-mem2wire1.dimacs.filtered | 168960 | 641598 | 823 | 998 | 8191 | 293 | rsdecoder2.dimacs.filtered | 415480 | 1632526 | 3799 | 4811 | 24221 | 461 | rsdecoder-fsm1.dimacs.filtered | 238290 | 936006 | 1703 | 1906 | 12689 | 179 | rsdecoder-problem.dimacs-34.filtered | 226040 | 728516 | 3016 | 3880 | 11408 | 386 | s15850-bug-fourvec-gate-0.dimacs.seq.filtered | 88544 | 206252 | 62 | 84 | 176 | 21 | s15850-bug-onevec-gate-0.dimacs.seq.filtered | 22136 | 51563 | 3 | 1 | 5 | 2 | SM-AS-TOP-buggy1.dimacs.filtered | 145900 | 694438 | 3791 | 4023 | 11888 | 1549 | SM-MAIN-MEM-buggy1.dimacs.filtered | 870975 | 3812147 | 45360 | 52045 | 97604 | 20196 | SM-RX-TOP.dimacs.filtered | 235456 | 934091 | 3645 | 3528 | 13487 | 2456 | spi2.dimacs.filtered | 124260 | 515813 | 1872 | 1985 | 9993 | 581 |
|
|