More efficient Eq, Ord for Set, Map #464
Job | Run time |
---|---|
9m 50s | |
10m 7s | |
9m 31s | |
10m 8s | |
10m 21s | |
10m 1s | |
10m 59s | |
11m 5s | |
11m 9s | |
8m 47s | |
1m 31s | |
1h 43m 29s |
Job | Run time |
---|---|
9m 50s | |
10m 7s | |
9m 31s | |
10m 8s | |
10m 21s | |
10m 1s | |
10m 59s | |
11m 5s | |
11m 9s | |
8m 47s | |
1m 31s | |
1h 43m 29s |