Fix OSDF input to HAS to use num_solution