Add max_tiles_per_run setting for tile generalizers #2130
| Job | Run time |
|---|---|
| 7m 5s | |
| 7m 53s | |
| 10m 8s | |
| 10m 34s | |
| 8m 58s | |
| 9m 40s | |
| 7m 40s | |
| 7m 46s | |
| 10m 25s | |
| 8m 55s | |
| 8m 59s | |
| 7m 33s | |
| 10m 6s | |
| 10m 22s | |
| 7m 44s | |
| 15m 30s | |
| 9m 11s | |
| 27m 29s | |
| 25m 16s | |
| 35s | |
| 3h 31m 49s |
| Job | Run time |
|---|---|
| 7m 5s | |
| 7m 53s | |
| 10m 8s | |
| 10m 34s | |
| 8m 58s | |
| 9m 40s | |
| 7m 40s | |
| 7m 46s | |
| 10m 25s | |
| 8m 55s | |
| 8m 59s | |
| 7m 33s | |
| 10m 6s | |
| 10m 22s | |
| 7m 44s | |
| 15m 30s | |
| 9m 11s | |
| 27m 29s | |
| 25m 16s | |
| 35s | |
| 3h 31m 49s |