Cast numerical values to appropriate integer types in solver_api for … #388
Job | Run time |
---|---|
9m 36s | |
9m 46s | |
9m 33s | |
9m 37s | |
2m 55s | |
3m 3s | |
2m 51s | |
2m 46s | |
1m 10s | |
1m 52s | |
1m 5s | |
1m 36s | |
1m 45s | |
1m 46s | |
1m 45s | |
1m 57s | |
1m 36s | |
1m 23s | |
1m 30s | |
1m 18s | |
1m 42s | |
2m 2s | |
1m 52s | |
1m 53s | |
1h 16m 19s |