The new combined sort criterion is priority*p(success)/expected_time (i.e. reward per unit time) as requested in #272. The old sort criterion criterio is still the default behaviour. To use the new sorting, add combined_sort:=true when launching the executive launch file.
The new combined sort criterion is priority*p(success)/expected_time (i.e. reward per unit time) as requested in #272. The old sort criterion criterio is still the default behaviour. To use the new sorting, add
combined_sort:=true
when launching the executive launch file.This closes #272