feat: add popcount to bv_decide
#48088
| Job | Run time |
|---|---|
| 7s | |
| 22m 31s | |
| 4m 54s | |
| 20m 32s | |
| 6s | |
| 0s | |
| 0s | |
| 48m 10s |
popcount to bv_decide
#48088
| Job | Run time |
|---|---|
| 7s | |
| 22m 31s | |
| 4m 54s | |
| 20m 32s | |
| 6s | |
| 0s | |
| 0s | |
| 48m 10s |