(WIP) Deletion of useless moves using pseudo-liveness #1144
| Job | Run time |
|---|---|
| 58s | |
| 12m 9s | |
| 8m 34s | |
| 9m 18s | |
| 10m 3s | |
| 9m 28s | |
| 6m 55s | |
| 9m 49s | |
| 11m 2s | |
| 6m 45s | |
| 8m 28s | |
| 1h 33m 29s |
| Job | Run time |
|---|---|
| 58s | |
| 12m 9s | |
| 8m 34s | |
| 9m 18s | |
| 10m 3s | |
| 9m 28s | |
| 6m 55s | |
| 9m 49s | |
| 11m 2s | |
| 6m 45s | |
| 8m 28s | |
| 1h 33m 29s |