Merge pull request #2481 from joto/geom-equal #2196
| Job | Run time |
|---|---|
| 46m 33s | |
| 9m 55s | |
| 8m 59s | |
| 9m 7s | |
| 9m 9s | |
| 16m 19s | |
| 8m 12s | |
| 47m 47s | |
| 8m 8s | |
| 8m 38s | |
| 10m 29s | |
| 9m 2s | |
| 8m 39s | |
| 8m 20s | |
| 9m 30s | |
| 10m 17s | |
| 8m 18s | |
| 8m 45s | |
| 10m 33s | |
| 41s | |
| 4h 17m 21s |
| Job | Run time |
|---|---|
| 46m 33s | |
| 9m 55s | |
| 8m 59s | |
| 9m 7s | |
| 9m 9s | |
| 16m 19s | |
| 8m 12s | |
| 47m 47s | |
| 8m 8s | |
| 8m 38s | |
| 10m 29s | |
| 9m 2s | |
| 8m 39s | |
| 8m 20s | |
| 9m 30s | |
| 10m 17s | |
| 8m 18s | |
| 8m 45s | |
| 10m 33s | |
| 41s | |
| 4h 17m 21s |