case of and intersection types #32624
Job | Run time |
---|---|
1m 38s | |
1m 38s | |
1m 38s | |
32m 17s | |
32m 17s | |
32m 17s | |
10m 8s | |
10m 8s | |
10m 8s | |
11m 17s | |
11m 17s | |
11m 17s | |
20m 26s | |
20m 26s | |
20m 26s | |
3m 35s | |
3m 35s | |
3m 35s | |
12m 29s | |
12m 29s | |
12m 29s | |
6m 50s | |
6m 50s | |
6m 50s | |
47m 35s | |
38m 33s | |
23m 49s | |
6h 45m 57s |