(WIP) Deletion of useless moves using pseudo-liveness #1146
| Job | Run time |
|---|---|
| 55s | |
| 10m 4s | |
| 6m 53s | |
| 7m 48s | |
| 6m 44s | |
| 10m 20s | |
| 10m 1s | |
| 11m 16s | |
| 10m 21s | |
| 8m 16s | |
| 9m 19s | |
| 1h 31m 57s |
| Job | Run time |
|---|---|
| 55s | |
| 10m 4s | |
| 6m 53s | |
| 7m 48s | |
| 6m 44s | |
| 10m 20s | |
| 10m 1s | |
| 11m 16s | |
| 10m 21s | |
| 8m 16s | |
| 9m 19s | |
| 1h 31m 57s |