Rename WeightedError → WeightError; add IndexedRandom, IndexedMutRandom #655
Job | Run time |
---|---|
31s | |
1m 6s | |
1m 31s | |
1m 16s | |
1m 34s | |
2m 48s | |
14s | |
2m 21s | |
2m 0s | |
4m 11s | |
41s | |
31s | |
18m 44s |
Job | Run time |
---|---|
31s | |
1m 6s | |
1m 31s | |
1m 16s | |
1m 34s | |
2m 48s | |
14s | |
2m 21s | |
2m 0s | |
4m 11s | |
41s | |
31s | |
18m 44s |