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