Closed geoalgo closed 12 months ago
This PR adds utilities to handle time (getting for config, sorting by time, filtering with time budget) together with tests and adapt the launcher to run a loop over multiple time budget.
This PR adds utilities to handle time (getting for config, sorting by time, filtering with time budget) together with tests and adapt the launcher to run a loop over multiple time budget.