[ performance ] make Eq and Ord for Fin run in constant time #3169
Job | Run time |
---|---|
3s | |
10m 21s | |
29m 7s | |
25m 6s | |
20m 27s | |
14m 20s | |
35m 43s | |
20m 50s | |
16m 36s | |
7m 52s | |
31m 12s | |
2m 51s | |
2m 1s | |
1m 55s | |
7m 42s | |
0s | |
18m 29s | |
4h 4m 35s |
Job | Run time |
---|---|
3s | |
10m 21s | |
29m 7s | |
25m 6s | |
20m 27s | |
14m 20s | |
35m 43s | |
20m 50s | |
16m 36s | |
7m 52s | |
31m 12s | |
2m 51s | |
2m 1s | |
1m 55s | |
7m 42s | |
0s | |
18m 29s | |
4h 4m 35s |