Table 1
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 |
| | 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 |
|
|
