Table 2: SAT2013 industrial benchmarks: comparison among VNS-WS, WS, W-w, and VW2.

InstancesInstance input Unsatisfied clauses
VarClsWSW-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