Rename WeightedError → WeightError; add IndexedRandom, IndexedMutRand… #682
Job | Run time |
---|---|
1m 28s | |
32s | |
1m 10s | |
1m 27s | |
19s | |
2m 46s | |
2m 2s | |
2m 56s | |
1m 50s | |
4m 12s | |
1m 54s | |
1m 29s | |
22m 5s |
Job | Run time |
---|---|
1m 28s | |
32s | |
1m 10s | |
1m 27s | |
19s | |
2m 46s | |
2m 2s | |
2m 56s | |
1m 50s | |
4m 12s | |
1m 54s | |
1m 29s | |
22m 5s |