Initial benchmarks for intersection types + a bit of speedup #433
Job | Run time |
---|---|
5s | |
37m 35s | |
40m 42s | |
1h 30m 6s | |
24m 44s | |
33m 1s | |
29m 33s | |
1h 26m 26s | |
38m 26s | |
25m 58s | |
7m 0s | |
1s | |
6h 53m 37s |
Job | Run time |
---|---|
5s | |
37m 35s | |
40m 42s | |
1h 30m 6s | |
24m 44s | |
33m 1s | |
29m 33s | |
1h 26m 26s | |
38m 26s | |
25m 58s | |
7m 0s | |
1s | |
6h 53m 37s |