Experiment for untagged pattern matching. #5153
Job | Run time |
---|---|
22s | |
1m 35s | |
14s | |
8s | |
6m 14s | |
18s | |
3m 9s | |
22s | |
2m 21s | |
3m 1s | |
1m 20s | |
1m 20s | |
1m 28s | |
0s | |
0s | |
0s | |
21m 52s |
Job | Run time |
---|---|
22s | |
1m 35s | |
14s | |
8s | |
6m 14s | |
18s | |
3m 9s | |
22s | |
2m 21s | |
3m 1s | |
1m 20s | |
1m 20s | |
1m 28s | |
0s | |
0s | |
0s | |
21m 52s |