use bump_allocator in many_facts #349
Job | Run time |
---|---|
1m 9s | |
48s | |
40s | |
16s | |
15s | |
22s | |
14s | |
19s | |
16s | |
23s | |
18s | |
27s | |
28s | |
28s | |
25s | |
15s | |
17s | |
26s | |
16s | |
15s | |
21s | |
40s | |
9s | |
9m 27s |
Job | Run time |
---|---|
1m 9s | |
48s | |
40s | |
16s | |
15s | |
22s | |
14s | |
19s | |
16s | |
23s | |
18s | |
27s | |
28s | |
28s | |
25s | |
15s | |
17s | |
26s | |
16s | |
15s | |
21s | |
40s | |
9s | |
9m 27s |