Remove redundant constraints #300
| Job | Run time |
|---|---|
| 7m 16s | |
| 7m 53s | |
| 2m 29s | |
| 7m 18s | |
| 7m 54s | |
| 2m 20s | |
| 7m 16s | |
| 7m 53s | |
| 2m 29s | |
| 7m 18s | |
| 7m 54s | |
| 2m 18s | |
| 7m 16s | |
| 7m 52s | |
| 2m 30s | |
| 7m 16s | |
| 7m 55s | |
| 2m 18s | |
| 7m 16s | |
| 7m 52s | |
| 2m 29s | |
| 7m 17s | |
| 7m 54s | |
| 2m 18s | |
| 7m 16s | |
| 7m 52s | |
| 2m 29s | |
| 7m 17s | |
| 7m 51s | |
| 2m 18s | |
| 6m 59s | |
| 7m 34s | |
| 2m 13s | |
| 1s | |
| 1s | |
| 1s | |
| 7m 16s | |
| 7m 52s | |
| 2m 16s | |
| 1s | |
| 1s | |
| 1s | |
| 7m 16s | |
| 7m 56s | |
| 2m 14s | |
| 1s | |
| 1s | |
| 1s | |
| 7m 15s | |
| 7m 52s | |
| 2m 18s | |
| 1s | |
| 1s | |
| 1s | |
| 7m 15s | |
| 7m 50s | |
| 2m 29s | |
| 1s | |
| 1s | |
| 1s | |
| 4h 22m 24s |