More efficient Eq, Ord for Set, Map #462
Job | Run time |
---|---|
9m 41s | |
9m 43s | |
9m 48s | |
9m 29s | |
9m 32s | |
10m 25s | |
10m 52s | |
11m 9s | |
10m 54s | |
9m 43s | |
1m 30s | |
1h 42m 46s |
Job | Run time |
---|---|
9m 41s | |
9m 43s | |
9m 48s | |
9m 29s | |
9m 32s | |
10m 25s | |
10m 52s | |
11m 9s | |
10m 54s | |
9m 43s | |
1m 30s | |
1h 42m 46s |