possible refinements #5944
| Job | Run time |
|---|---|
| 2m 14s | |
| 2m 40s | |
| 2m 33s | |
| 2m 10s | |
| 33m 48s | |
| 34m 18s | |
| 32m 16s | |
| 32m 17s | |
| 32m 17s | |
| 32m 17s | |
| 32m 18s | |
| 32m 37s | |
| 32m 1s | |
| 32m 19s | |
| 32m 16s | |
| 32m 17s | |
| 32m 17s | |
| 32m 18s | |
| 32m 17s | |
| 8h 17m 30s |
| Job | Run time |
|---|---|
| 2m 14s | |
| 2m 40s | |
| 2m 33s | |
| 2m 10s | |
| 33m 48s | |
| 34m 18s | |
| 32m 16s | |
| 32m 17s | |
| 32m 17s | |
| 32m 17s | |
| 32m 18s | |
| 32m 37s | |
| 32m 1s | |
| 32m 19s | |
| 32m 16s | |
| 32m 17s | |
| 32m 17s | |
| 32m 18s | |
| 32m 17s | |
| 8h 17m 30s |