First
semigroup instead of First
monoid for blob semantics
#3388
Job | Run time |
---|---|
2m 16s | |
18s | |
2m 21s | |
13m 13s | |
2m 22s | |
17m 29s | |
9m 12s | |
14m 36s | |
8m 52s | |
10m 26s | |
14m 42s | |
9m 54s | |
10m 24s | |
14m 12s | |
9m 57s | |
11m 11s | |
15m 35s | |
8m 39s | |
9m 2s | |
14m 21s | |
11m 22s | |
10m 8s | |
14m 21s | |
10m 12s | |
21m 36s | |
10m 7s | |
10m 14s | |
4h 47m 2s |