Merge pull request #687 from bobmyhill/tighten_eps #835
| Job | Run time |
|---|---|
| 45s | |
| 11m 34s | |
| 13m 58s | |
| 11m 19s | |
| 11m 46s | |
| 10m 54s | |
| 13m 47s | |
| 13m 15s | |
| 13m 9s | |
| 12m 48s | |
| 11m 16s | |
| 2h 4m 31s |
| Job | Run time |
|---|---|
| 45s | |
| 11m 34s | |
| 13m 58s | |
| 11m 19s | |
| 11m 46s | |
| 10m 54s | |
| 13m 47s | |
| 13m 15s | |
| 13m 9s | |
| 12m 48s | |
| 11m 16s | |
| 2h 4m 31s |