Two simplifications that will be needed to deal with @zoep's issues regarding initcode equivalence #3207
| Job | Run time |
|---|---|
| 5m 27s | |
| 20m 42s | |
| 9m 46s | |
| 29m 45s | |
| 14m 0s | |
| 18m 51s | |
| 7s | |
| 24m 53s | |
| 2h 3m 31s |
| Job | Run time |
|---|---|
| 5m 27s | |
| 20m 42s | |
| 9m 46s | |
| 29m 45s | |
| 14m 0s | |
| 18m 51s | |
| 7s | |
| 24m 53s | |
| 2h 3m 31s |