feat(BV): Support binary distinct on arbitrary bit-widths (#1222) #2246
Job | Run time |
---|---|
7m 42s | |
4m 9s | |
6m 27s | |
4m 36s | |
4m 37s | |
4m 32s | |
13m 49s | |
14m 22s | |
1h 0m 14s |
Job | Run time |
---|---|
7m 42s | |
4m 9s | |
6m 27s | |
4m 36s | |
4m 37s | |
4m 32s | |
13m 49s | |
14m 22s | |
1h 0m 14s |