Optimize _ pattern in syntax-case clauses #269
Job | Run time |
---|---|
10m 22s | |
10m 22s | |
12m 55s | |
12m 55s | |
13m 3s | |
13m 3s | |
17m 58s | |
17m 58s | |
19m 13s | |
9m 9s | |
11m 44s | |
11m 44s | |
11m 41s | |
11m 41s | |
14m 43s | |
14m 43s | |
10m 56s | |
10m 56s | |
13m 48s | |
13m 48s | |
10m 41s | |
10m 41s | |
16m 31s | |
16m 31s | |
16m 9s | |
16m 9s | |
14m 34s | |
14m 34s | |
19m 54s | |
19m 54s | |
16m 10s | |
16m 10s | |
12m 40s | |
12m 40s | |
13m 19s | |
13m 19s | |
16m 18s | |
16m 18s | |
16m 29s | |
16m 29s | |
9h 28m 12s |