Bootstrappable FCMPs #384
Job | Run time |
---|---|
27m 40s | |
21m 41s | |
23m 13s | |
25m 2s | |
22m 9s | |
26m 21s | |
21m 38s | |
30m 29s | |
28m 28s | |
22m 43s | |
20m 21s | |
4h 29m 45s |
Job | Run time |
---|---|
27m 40s | |
21m 41s | |
23m 13s | |
25m 2s | |
22m 9s | |
26m 21s | |
21m 38s | |
30m 29s | |
28m 28s | |
22m 43s | |
20m 21s | |
4h 29m 45s |