Add WeightedIndexTree to rand_distr #636
Job | Run time |
---|---|
1m 5s | |
1m 43s | |
1m 1s | |
30s | |
2m 10s | |
2m 27s | |
3m 16s | |
1m 54s | |
16s | |
2m 31s | |
1m 54s | |
1m 3s | |
19m 50s |
Job | Run time |
---|---|
1m 5s | |
1m 43s | |
1m 1s | |
30s | |
2m 10s | |
2m 27s | |
3m 16s | |
1m 54s | |
16s | |
2m 31s | |
1m 54s | |
1m 3s | |
19m 50s |