Add WeightedIndexTree to rand_distr #634
Job | Run time |
---|---|
2m 30s | |
1m 27s | |
1m 11s | |
1m 15s | |
2m 7s | |
31s | |
14s | |
2m 39s | |
1m 41s | |
2m 29s | |
1m 38s | |
1m 6s | |
18m 48s |
Job | Run time |
---|---|
2m 30s | |
1m 27s | |
1m 11s | |
1m 15s | |
2m 7s | |
31s | |
14s | |
2m 39s | |
1m 41s | |
2m 29s | |
1m 38s | |
1m 6s | |
18m 48s |