formalize what parameters are used to generate the shortest_soln: field
bug report