Add WeightedIndexTree to rand_distr #651
Job | Run time |
---|---|
2m 52s | |
12s | |
1m 2s | |
1m 26s | |
1m 11s | |
55s | |
2m 35s | |
4m 42s | |
1m 47s | |
4m 5s | |
54s | |
32s | |
22m 13s |
Job | Run time |
---|---|
2m 52s | |
12s | |
1m 2s | |
1m 26s | |
1m 11s | |
55s | |
2m 35s | |
4m 42s | |
1m 47s | |
4m 5s | |
54s | |
32s | |
22m 13s |