Initial code to infer types for a function. #2357
Job | Run time |
---|---|
19m 51s | |
32m 3s | |
31m 59s | |
23m 1s | |
21m 35s | |
25m 51s | |
25m 41s | |
38m 41s | |
23m 9s | |
31m 30s | |
4h 33m 21s |
Job | Run time |
---|---|
19m 51s | |
32m 3s | |
31m 59s | |
23m 1s | |
21m 35s | |
25m 51s | |
25m 41s | |
38m 41s | |
23m 9s | |
31m 30s | |
4h 33m 21s |