Initial benchmarks for intersection types + a bit of speedup #129
Job | Run time |
---|---|
6s | |
23m 20s | |
41m 35s | |
10m 38s | |
1h 20m 4s | |
33m 49s | |
22m 59s | |
2m 56s | |
37m 44s | |
1h 0m 25s | |
54m 56s | |
1s | |
6h 8m 33s |
Job | Run time |
---|---|
6s | |
23m 20s | |
41m 35s | |
10m 38s | |
1h 20m 4s | |
33m 49s | |
22m 59s | |
2m 56s | |
37m 44s | |
1h 0m 25s | |
54m 56s | |
1s | |
6h 8m 33s |