Symetric, transitive and reflexive equality for intersection types #32221
Job | Run time |
---|---|
34m 21s | |
15m 33s | |
39m 25s | |
41m 17s | |
11m 10s | |
45m 35s | |
41m 31s | |
48m 38s | |
24m 50s | |
2m 52s | |
5h 5m 12s |
Job | Run time |
---|---|
34m 21s | |
15m 33s | |
39m 25s | |
41m 17s | |
11m 10s | |
45m 35s | |
41m 31s | |
48m 38s | |
24m 50s | |
2m 52s | |
5h 5m 12s |