Merge pull request #74 from BDonnot/smarter_solver #328
Job | Run time |
---|---|
3m 26s | |
5m 37s | |
5m 19s | |
6m 52s | |
5m 11s | |
3m 20s | |
6m 26s | |
5m 31s | |
14m 1s | |
3m 17s | |
5m 27s | |
6m 15s | |
3m 20s | |
5m 22s | |
9m 14s | |
4m 23s | |
3m 10s | |
3m 15s | |
8s | |
1h 39m 34s |
Job | Run time |
---|---|
3m 26s | |
5m 37s | |
5m 19s | |
6m 52s | |
5m 11s | |
3m 20s | |
6m 26s | |
5m 31s | |
14m 1s | |
3m 17s | |
5m 27s | |
6m 15s | |
3m 20s | |
5m 22s | |
9m 14s | |
4m 23s | |
3m 10s | |
3m 15s | |
8s | |
1h 39m 34s |