Merge pull request #109 from oscarbenjamin/pr_exact_division #416
Job | Run time |
---|---|
35s | |
37s | |
16m 9s | |
15m 40s | |
6m 7s | |
6m 31s | |
27m 24s | |
1m 16s | |
6m 12s | |
5m 55s | |
23m 13s | |
25m 14s | |
6m 14s | |
5m 57s | |
6m 9s | |
5m 57s | |
18s | |
1m 55s | |
49s | |
40s | |
50s | |
47s | |
46s | |
40s | |
42s | |
40s | |
1m 14s | |
24s | |
1m 12s | |
16s | |
1m 11s | |
22s | |
1m 19s | |
26s | |
1m 9s | |
1m 30s | |
1m 13s | |
1m 36s | |
1m 17s | |
1m 13s | |
1m 8s | |
1m 37s | |
3h 4m 24s |