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

InstancesInstance input Unsatisfied clauses
VarClsWSW-w VW2 VNS-WS

diverders11.dimacs.filtered 45552 162982 2434 2101 4169 715
fpu8-problem.dimacs24.filtered 160232 548848 6328 6306 11290 3043
fpu-fsm1-problem.dimacs15.filtered 160200 548843 6125 6213 11855 3055
i2c-master2.dimacs.filtered 63816 221320 615 590 2037 161
b14-opt-bug2-vec1-gate-0.dimacs 130328 402707 1763 1749 5985 1279
b15-bug-fourvec-gate-0.dimacs 581064 1712690 7241 7596 22082 3184
b15-bug-onevec-gate-0.dimacs 121836 359040 1122 1244 4094 493
c1-DD-s3-f1-e2-v1-bug-fourvec-gate-0.dimacs 391897 989885 955 1317 4966 60
c1-DD-s3-f1-e2-v1-bug-onevec-gate-0.dimacs 102234 258294 62 191 592 2
c2-DD-s3-f1-e2-v1-bug-onevec-gate-0.dimacs 84525 236942 2537 2634 3699 1362
c3-DD-s3-f1-e1-v1-bug-fourvec-gate-0.dimacs 33540 86944 4 4 4 4
c3-DD-s3-f1-e1-v1-bug-onevec-gate-0.dimacs 8358 21736 1 1 1 1
c4-DD-s3-f1-e1-v1-bug-gate-0.dimacs 797728 2011216 3761 5714 15798 1129
c4-DD-s3-f1-e2-v1-bug-fourvec-gate-0.dimacs 448465 1130672 1834 1993 7772 516
c4-DD-s3-f1-e2-v1-bug-onevec-gate-0.dimacs 131548 331754 439 482 1899 105