Changes based on new version of ProblemReductions
#413
| Job | Run time |
|---|---|
| 11m 14s | |
| 3s | |
| 20m 2s | |
| 31m 19s |
ProblemReductions
#413
| Job | Run time |
|---|---|
| 11m 14s | |
| 3s | |
| 20m 2s | |
| 31m 19s |