IORef #1116
Job | Run time |
---|---|
23m 0s | |
12m 59s | |
27m 35s | |
23m 53s | |
14m 8s | |
29m 14s | |
21m 14s | |
12m 32s | |
25m 58s | |
16m 56s | |
21m 2s | |
12m 39s | |
4h 1m 10s |
Job | Run time |
---|---|
23m 0s | |
12m 59s | |
27m 35s | |
23m 53s | |
14m 8s | |
29m 14s | |
21m 14s | |
12m 32s | |
25m 58s | |
16m 56s | |
21m 2s | |
12m 39s | |
4h 1m 10s |