don't clear in quick_typecheck3; closes #722 #892
Job | Run time |
---|---|
43m 47s | |
41m 23s | |
53m 32s | |
30m 27s | |
1m 11s | |
8m 45s | |
4m 46s | |
5m 29s | |
1m 10s | |
1m 18s | |
23m 36s | |
8m 23s | |
5m 15s | |
4m 28s | |
25m 40s | |
5m 0s | |
4m 29s | |
1m 1s | |
7m 36s | |
6m 3s | |
5m 8s | |
4h 48m 27s |
Job | Run time |
---|---|
43m 47s | |
41m 23s | |
53m 32s | |
30m 27s | |
1m 11s | |
8m 45s | |
4m 46s | |
5m 29s | |
1m 10s | |
1m 18s | |
23m 36s | |
8m 23s | |
5m 15s | |
4m 28s | |
25m 40s | |
5m 0s | |
4m 29s | |
1m 1s | |
7m 36s | |
6m 3s | |
5m 8s | |
4h 48m 27s |