Remove redundant problems and solvers #947
Job | Run time |
---|---|
5m 15s | |
4m 4s | |
4m 42s | |
4m 5s | |
4m 45s | |
5m 12s | |
5m 2s | |
3m 1s | |
5m 13s | |
5m 19s | |
3m 58s | |
50m 36s |
Job | Run time |
---|---|
5m 15s | |
4m 4s | |
4m 42s | |
4m 5s | |
4m 45s | |
5m 12s | |
5m 2s | |
3m 1s | |
5m 13s | |
5m 19s | |
3m 58s | |
50m 36s |